9
0
Fork 0
barebox/arch/efi/Kconfig

52 lines
1.1 KiB
Plaintext

config ARCH_EFI
bool
default y
select HAS_DEBUG_LL
select HAS_KALLSYMS
select EFI_GUID
select EFI_DEVICEPATH
select PRINTF_UUID
select GENERIC_FIND_NEXT_BIT
config ARCH_TEXT_BASE
hex
default 0x0
menu "EFI specific settings"
config 64BIT
def_bool y
help
Say yes to build a 64-bit binary - formerly known as x86_64
Say no to build a 32-bit binary - formerly known as i386.
32-bit support currently does not compile and is not tested
due to the lack of hardware.
config X86_32
def_bool y
depends on !64BIT
config X86_64
def_bool y
depends on 64BIT
config ARCH_EFI_REGISTER_COM1
bool "Register first serial port"
help
Say yes here to register the first serial port on ioport 0x3f8.
This is useful to control barebox over a serial port if the board
has one. Enabling this option may not work on boards which do not
have a serial port. Also enable DRIVER_SERIAL_NS16550 to enable
the NS16550 driver.
endmenu
source common/Kconfig
source commands/Kconfig
source net/Kconfig
source drivers/Kconfig
source fs/Kconfig
source lib/Kconfig
source crypto/Kconfig