The following new edk2 options are set:
- BOOTSPLASH_IMAGE: Enable boot logo and add it to BGRT
- BOOT_MANAGER_ESCAPE: Use Esc instead of F2 to enter firmware setup
- SD_MMC_TIMEOUT: Reduce SD card timeout from 1s to 100ms
- SIO_BUS_ENABLE: Keep PS/2 keyboard working
- VARIABLE_SUPPORT: Set to emulated until coreboot SMMSTORE support is
implemented
Signed-off-by: Tim Crawford <tcrawford@system76.com>
These files are generated while running proprietary firmware, but once
they are added to coreboot they are no longer needed. They also quickly
become stale as the files are always changed in coreboot.
find models/ -name gpio.h -exec rm {} \;
find models/ -name hda_verb.c -exec rm {} \;
Signed-off-by: Tim Crawford <tcrawford@system76.com>
