1CONFIG_X86=y
2CONFIG_ENV_SIZE=0x1000
3CONFIG_DEFAULT_DEVICE_TREE="slimbootloader"
4CONFIG_VENDOR_INTEL=y
5CONFIG_TARGET_SLIMBOOTLOADER=y
6# CONFIG_USE_CAR is not set
7CONFIG_BOOTSTAGE=y
8CONFIG_BOOTSTAGE_REPORT=y
9CONFIG_BOOTDELAY=10
10CONFIG_SYS_CONSOLE_INFO_QUIET=y
11CONFIG_BOARD_EARLY_INIT_R=y
12CONFIG_LAST_STAGE_INIT=y
13CONFIG_HUSH_PARSER=y
14CONFIG_CMD_MMC=y
15CONFIG_CMD_USB=y
16CONFIG_CMD_EXT2=y
17CONFIG_CMD_FAT=y
18CONFIG_EFI_PARTITION=y
19CONFIG_ENV_OVERWRITE=y
20CONFIG_SYS_RELOC_GD_ENV_ADDR=y
21CONFIG_REGMAP=y
22CONFIG_SYSCON=y
23# CONFIG_PCI_PNP is not set
24CONFIG_CONSOLE_SCROLL_LINES=5
25# CONFIG_GZIP is not set
26