CONFIG_X86=y

  CONFIG_ENV_SIZE=0x1000

  CONFIG_VENDOR_INTEL=y
  CONFIG_TARGET_SLIMBOOTLOADER=y

  # CONFIG_USE_CAR is not set

  CONFIG_BOOTSTAGE=y
  CONFIG_BOOTSTAGE_REPORT=y
  CONFIG_BOOTDELAY=10

  CONFIG_SYS_CONSOLE_INFO_QUIET=y
  CONFIG_BOARD_EARLY_INIT_R=y
  CONFIG_LAST_STAGE_INIT=y
  CONFIG_HUSH_PARSER=y
  CONFIG_CMD_MMC=y

  CONFIG_CMD_USB=y

  CONFIG_CMD_EXT2=y
  CONFIG_CMD_FAT=y

  CONFIG_EFI_PARTITION=y

  CONFIG_DEFAULT_DEVICE_TREE="slimbootloader"

  CONFIG_SYS_RELOC_GD_ENV_ADDR=y

  CONFIG_REGMAP=y
  CONFIG_SYSCON=y

  # CONFIG_PCI_PNP is not set

  CONFIG_CONSOLE_SCROLL_LINES=5