Patch Set 1:

Patch Set 1:

Also please paste your config (`defconfig` created by `make savedefconfig`), the logs from coreboot and SeaBIOS with `cbmem -l` and Linux (`dmesg`).

The same for GRUB.

(Please upload or paste them somewhere, and document the URLs here.)

Ok,
so here is the content of my defconfig (2 lines) :

CONFIG_USE_BLOBS=y
CONFIG_VENDOR_DELL=y

then
here are some links:
output of cbmem -1 with grub : https://github.com/Rhylx/RBS/blob/master/log_coreboot/output_grub

Sorry, as I see `PS/2 keyboard initialized on primary channel` in your logs, your information above cannot be true, as `DRIVERS_PS2_KEYBOARD` defaults to `n`. Please double check your uploads, and follow the instructions meticulously so nobody is led on wrong tracks.

View Change

To view, visit change 39172. To unsubscribe, or for help writing mail filters, visit settings.