| CONFIG_COREBOOT=y | |
| CONFIG_CBFS_LOCATION=0xffe00000 | |
| # CONFIG_THREADS is not set | |
| # CONFIG_BOOTSPLASH is not set | |
| # CONFIG_ATA is not set | |
| # CONFIG_FLOPPY is not set | |
| # CONFIG_USB_OHCI is not set | |
| # CONFIG_LPT is not set | |
| # CONFIG_MOUSE is not set | |
| CONFIG_VGA_COREBOOT=y | |
| CONFIG_DEBUG_LEVEL=8 |