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_USE_BOOTCOMMAND=y
11CONFIG_BOOTCOMMAND="if test ${bootdev} = 'usb'; then ${bootdev} start; fi; if test ${bootdev} = 'scsi'; then ${bootdev} scan; fi; ${bootdev} info; ${bootfsload} ${bootdev} ${bootdevnum}:${bootdevpart} ${loadaddr} ${bootfile}; ${bootfsload} ${bootdev} ${bootdevnum}:${bootdevpart} ${ramdiskaddr} ${ramdiskfile}; zboot ${loadaddr} 0 ${ramdiskaddr} ${filesize}"
12CONFIG_SYS_CONSOLE_INFO_QUIET=y
13CONFIG_BOARD_EARLY_INIT_R=y
14CONFIG_LAST_STAGE_INIT=y
15CONFIG_HUSH_PARSER=y
16CONFIG_SYS_PBSIZE=532
17CONFIG_CMD_MMC=y
18CONFIG_CMD_USB=y
19CONFIG_BOOTP_BOOTFILESIZE=y
20CONFIG_CMD_EXT2=y
21CONFIG_CMD_FAT=y
22CONFIG_EFI_PARTITION=y
23CONFIG_ENV_OVERWRITE=y
24CONFIG_SYS_RELOC_GD_ENV_ADDR=y
25CONFIG_USE_BOOTFILE=y
26CONFIG_BOOTFILE="bzImage"
27CONFIG_TFTP_TSIZE=y
28CONFIG_USE_ROOTPATH=y
29CONFIG_REGMAP=y
30CONFIG_SYSCON=y
31# CONFIG_ACPIGEN is not set
32CONFIG_LBA48=y
33CONFIG_SYS_64BIT_LBA=y
34# CONFIG_PCI_PNP is not set
35CONFIG_SYS_NS16550_PORT_MAPPED=y
36CONFIG_CONSOLE_SCROLL_LINES=5
37# CONFIG_GZIP is not set
38