CONFIG_ARM=y

  CONFIG_TARGET_LS1088ARDB=y

  CONFIG_SYS_TEXT_BASE=0x20100000

  CONFIG_SECURE_BOOT=y
  CONFIG_FSL_LS_PPA=y

  CONFIG_QSPI_AHB_INIT=y

  CONFIG_AHCI=y

  CONFIG_DISTRO_DEFAULTS=y

  CONFIG_NR_DRAM_BANKS=2

  # CONFIG_SYS_MALLOC_F is not set
  CONFIG_FIT_VERBOSE=y
  CONFIG_OF_BOARD_SETUP=y
  CONFIG_OF_STDOUT_VIA_ALIAS=y
  CONFIG_SYS_EXTRA_OPTIONS="SYS_FSL_DDR4, QSPI_BOOT"

  CONFIG_USE_BOOTARGS=y
  CONFIG_BOOTARGS="console=ttyS0,115200 root=/dev/ram0 earlycon=uart8250,mmio,0x21c0500 ramdisk_size=0x3000000 default_hugepagesz=2m hugepagesz=2m hugepages=256"

  # CONFIG_USE_BOOTCOMMAND is not set

  CONFIG_MISC_INIT_R=y

  # CONFIG_DISPLAY_BOARDINFO is not set

  CONFIG_DISPLAY_BOARDINFO_LATE=y

  CONFIG_CMD_GREPENV=y

  CONFIG_CMD_MEMTEST=y

  CONFIG_CMD_I2C=y
  CONFIG_CMD_MMC=y

  CONFIG_CMD_SF=y
  CONFIG_CMD_USB=y

  # CONFIG_CMD_SETEXPR is not set

  CONFIG_MP=y

  CONFIG_OF_CONTROL=y

  CONFIG_DEFAULT_DEVICE_TREE="fsl-ls1088a-rdb"

  CONFIG_NET_RANDOM_ETHADDR=y

  CONFIG_DM=y

  CONFIG_SCSI_AHCI=y

  CONFIG_SATA_CEVA=y

  CONFIG_DM_MMC=y

  CONFIG_FSL_ESDHC=y

  CONFIG_DM_SPI_FLASH=y

  CONFIG_SPI_FLASH=y
  CONFIG_SPI_FLASH_SPANSION=y

  # CONFIG_SPI_FLASH_USE_4K_SECTORS is not set

  CONFIG_E1000=y

  CONFIG_MII=y

  CONFIG_PCI=y

  CONFIG_DM_PCI=y
  CONFIG_DM_PCI_COMPAT=y

  CONFIG_PCIE_LAYERSCAPE=y

  CONFIG_DM_SCSI=y

  CONFIG_SYS_NS16550=y

  CONFIG_SPI=y

  CONFIG_DM_SPI=y
  CONFIG_FSL_DSPI=y

  CONFIG_FSL_QSPI=y

  CONFIG_USB=y

  CONFIG_DM_USB=y
  CONFIG_USB_XHCI_HCD=y
  CONFIG_USB_XHCI_DWC3=y

  CONFIG_USB_DWC3=y

  CONFIG_USB_GADGET=y
  CONFIG_RSA=y
  CONFIG_RSA_SOFTWARE_EXP=y
  CONFIG_EFI_LOADER_BOUNCE_BUFFER=y