| 12345678910111213141516171819202122232425262728293031323334353637 |
- CONFIG_X86=y
- CONFIG_VENDOR_EFI=y
- CONFIG_DEFAULT_DEVICE_TREE="efi"
- CONFIG_TARGET_EFI=y
- CONFIG_FIT=y
- CONFIG_CONSOLE_MUX=y
- CONFIG_SYS_CONSOLE_INFO_QUIET=y
- CONFIG_HUSH_PARSER=y
- # CONFIG_CMD_BOOTM is not set
- # CONFIG_CMD_IMLS is not set
- CONFIG_CMD_SF=y
- CONFIG_CMD_SPI=y
- CONFIG_CMD_USB=y
- CONFIG_CMD_GPIO=y
- # CONFIG_CMD_NET is not set
- CONFIG_CMD_DHCP=y
- CONFIG_CMD_PING=y
- CONFIG_CMD_TIME=y
- CONFIG_CMD_EXT2=y
- CONFIG_CMD_EXT4=y
- CONFIG_CMD_EXT4_WRITE=y
- CONFIG_CMD_FAT=y
- CONFIG_CMD_FS_GENERIC=y
- CONFIG_OF_CONTROL=y
- CONFIG_OF_EMBED=y
- CONFIG_DM_PCI=y
- CONFIG_DEBUG_UART=y
- CONFIG_DEBUG_EFI_CONSOLE=y
- CONFIG_DEBUG_UART_BASE=0
- CONFIG_DEBUG_UART_CLOCK=0
- CONFIG_ICH_SPI=y
- CONFIG_TIMER=y
- CONFIG_USB=y
- CONFIG_USB_STORAGE=y
- CONFIG_USB_KEYBOARD=y
- CONFIG_EFI=y
- # CONFIG_EFI_LOADER is not set
|
