2 CONFIG_TARGET_LS1088ARDB=y
3 CONFIG_SYS_TEXT_BASE=0x82000000
7 CONFIG_ARMV8_SEC_FIRMWARE_SUPPORT=y
8 CONFIG_SEC_FIRMWARE_ARMV8_PSCI=y
10 CONFIG_DISTRO_DEFAULTS=y
11 # CONFIG_SYS_MALLOC_F is not set
13 CONFIG_OF_BOARD_SETUP=y
14 CONFIG_OF_STDOUT_VIA_ALIAS=y
15 CONFIG_SYS_EXTRA_OPTIONS="SYS_FSL_DDR4"
17 CONFIG_BOOTARGS="console=ttyS0,115200 root=/dev/ram0 earlycon=uart8250,mmio,0x21c0500 ramdisk_size=0x3000000 default_hugepagesz=2m hugepagesz=2m hugepages=256"
18 # CONFIG_USE_BOOTCOMMAND is not set
20 # CONFIG_DISPLAY_BOARDINFO is not set
21 CONFIG_DISPLAY_BOARDINFO_LATE=y
28 # CONFIG_CMD_SETEXPR is not set
31 CONFIG_DEFAULT_DEVICE_TREE="fsl-ls1088a-rdb"
32 CONFIG_ENV_IS_IN_MMC=y
33 CONFIG_ENV_IS_IN_SPI_FLASH=y
34 CONFIG_NET_RANDOM_ETHADDR=y
42 # CONFIG_SPI_FLASH_BAR is not set
43 CONFIG_SPI_FLASH_SPANSION=y
44 # CONFIG_SPI_FLASH_USE_4K_SECTORS is not set
49 CONFIG_DM_PCI_COMPAT=y
50 CONFIG_PCIE_LAYERSCAPE=y
60 CONFIG_USB_XHCI_DWC3=y
63 CONFIG_EFI_LOADER_BOUNCE_BUFFER=y