| CONFIG_ARM=y |
| CONFIG_TARGET_LS1088ARDB=y |
| CONFIG_SYS_TEXT_BASE=0x80400000 |
| CONFIG_SPL_LIBCOMMON_SUPPORT=y |
| CONFIG_SPL_LIBGENERIC_SUPPORT=y |
| CONFIG_SECURE_BOOT=y |
| CONFIG_FSL_LS_PPA=y |
| CONFIG_SPL_MMC_SUPPORT=y |
| CONFIG_SPL_SERIAL_SUPPORT=y |
| CONFIG_SPL_DRIVERS_MISC_SUPPORT=y |
| CONFIG_SPL=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_SYS_EXTRA_OPTIONS="SD_BOOT_QSPI" |
| CONFIG_SD_BOOT=y |
| 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_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR=y |
| CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_SECTOR=0x8b0 |
| CONFIG_SPL_CRYPTO_SUPPORT=y |
| CONFIG_SPL_HASH_SUPPORT=y |
| CONFIG_SPL_ENV_SUPPORT=y |
| CONFIG_SPL_I2C_SUPPORT=y |
| CONFIG_SPL_MPC8XXX_INIT_DDR_SUPPORT=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_SPL_DM=y |
| CONFIG_SCSI_AHCI=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_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_RSA=y |
| CONFIG_SPL_RSA=y |
