| Kconfig (dc5be508b065ff305cef451ac1aed7465603db02) | Kconfig (3cf23719b1dc97d17ed649493b0b61641a79ab1f) |
|---|---|
| 1menu "x86 architecture" 2 depends on X86 3 4config SYS_ARCH 5 default "x86" 6 7choice 8 prompt "Mainboard vendor" --- 435 unchanged lines hidden (view full) --- 444 Include this to have U-Boot set up the timer correctly. 445 446config I8042_KEYB 447 default y 448 449config DM_KEYBOARD 450 default y 451 | 1menu "x86 architecture" 2 depends on X86 3 4config SYS_ARCH 5 default "x86" 6 7choice 8 prompt "Mainboard vendor" --- 435 unchanged lines hidden (view full) --- 444 Include this to have U-Boot set up the timer correctly. 445 446config I8042_KEYB 447 default y 448 449config DM_KEYBOARD 450 default y 451 |
| 452config SEABIOS 453 bool "Support booting SeaBIOS" 454 help 455 SeaBIOS is an open source implementation of a 16-bit X86 BIOS. 456 It can run in an emulator or natively on X86 hardware with the use 457 of coreboot/U-Boot. By turning on this option, U-Boot prepares 458 all the configuration tables that are necessary to boot SeaBIOS. 459 460 Check http://www.seabios.org/SeaBIOS for details. 461 |
|
| 452source "arch/x86/lib/efi/Kconfig" 453 454endmenu | 462source "arch/x86/lib/efi/Kconfig" 463 464endmenu |