Patch Set 1:

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.

But in menuconfig, DRIVERS_PS2_KEYBOARD is set to y

View Change

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