| CONFIG_ARM=y |
| CONFIG_ARCH_NPCM=y |
| CONFIG_TEXT_BASE=0x06208000 |
| CONFIG_SYS_MALLOC_LEN=0x240000 |
| CONFIG_SYS_MALLOC_F_LEN=0x1000 |
| CONFIG_NR_DRAM_BANKS=2 |
| CONFIG_ENV_SIZE=0x40000 |
| CONFIG_ENV_OFFSET=0x3C0000 |
| CONFIG_ENV_SECT_SIZE=0x1000 |
| CONFIG_DM_GPIO=y |
| CONFIG_DEFAULT_DEVICE_TREE="nuvoton-npcm845-evb" |
| CONFIG_DM_RESET=y |
| # CONFIG_PSCI_RESET is not set |
| CONFIG_ARCH_NPCM8XX=y |
| CONFIG_TARGET_ARBEL_EVB=y |
| CONFIG_SYS_LOAD_ADDR=0x06208000 |
| CONFIG_ENV_ADDR=0x803C0000 |
| CONFIG_FIT=y |
| CONFIG_FIT_VERBOSE=y |
| CONFIG_USE_BOOTCOMMAND=y |
| CONFIG_BOOTCOMMAND="run common_bootargs; run romboot" |
| CONFIG_HUSH_PARSER=y |
| CONFIG_SYS_PROMPT="U-Boot>" |
| CONFIG_SYS_MAXARGS=32 |
| CONFIG_SYS_BOOTM_LEN=0x1400000 |
| CONFIG_CMD_FUSE=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_GPT=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| CONFIG_CMD_PART=y |
| CONFIG_CMD_SPI=y |
| CONFIG_CMD_USB=y |
| CONFIG_CMD_DHCP=y |
| CONFIG_CMD_MII=y |
| CONFIG_CMD_PING=y |
| CONFIG_CMD_CACHE=y |
| CONFIG_CMD_RNG=y |
| CONFIG_CMD_UUID=y |
| CONFIG_CMD_HASH=y |
| CONFIG_CMD_TPM=y |
| CONFIG_CMD_FAT=y |
| CONFIG_CMD_FS_GENERIC=y |
| CONFIG_ENV_IS_IN_SPI_FLASH=y |
| CONFIG_REGMAP=y |
| CONFIG_SYSCON=y |
| CONFIG_CLK=y |
| CONFIG_NPCM_AES=y |
| CONFIG_NPCM_SHA=y |
| CONFIG_NPCM_GPIO=y |
| CONFIG_DM_I2C=y |
| # CONFIG_INPUT is not set |
| CONFIG_MISC=y |
| CONFIG_NPCM_HOST=y |
| CONFIG_SUPPORT_EMMC_RPMB=y |
| CONFIG_MMC_SDHCI=y |
| CONFIG_MMC_SDHCI_NPCM=y |
| CONFIG_DM_SPI_FLASH=y |
| CONFIG_SPI_FLASH_MACRONIX=y |
| CONFIG_SPI_FLASH_WINBOND=y |
| CONFIG_PHY_BROADCOM=y |
| CONFIG_PHY_GIGE=y |
| CONFIG_ETH_DESIGNWARE=y |
| CONFIG_RGMII=y |
| CONFIG_MII=y |
| CONFIG_PHY=y |
| CONFIG_PHY_NPCM_USB=y |
| CONFIG_PINCTRL=y |
| CONFIG_PINCONF=y |
| CONFIG_PINCTRL_NPCM8XX=y |
| CONFIG_DM_REGULATOR=y |
| CONFIG_DM_REGULATOR_NPCM8XX=y |
| CONFIG_RESET_SYSCON=y |
| CONFIG_RNG_NPCM=y |
| CONFIG_DM_SERIAL=y |
| CONFIG_NPCM_SERIAL=y |
| CONFIG_SPI=y |
| CONFIG_DM_SPI=y |
| CONFIG_NPCM_FIU_SPI=y |
| CONFIG_NPCM_PSPI=y |
| CONFIG_TEE=y |
| CONFIG_OPTEE=y |
| CONFIG_TIMER=y |
| CONFIG_NPCM_TIMER=y |
| CONFIG_TPM2_FTPM_TEE=y |
| CONFIG_USB=y |
| CONFIG_USB_EHCI_HCD=y |
| CONFIG_USB_EHCI_NPCM=y |
| CONFIG_USB_EHCI_GENERIC=y |
| CONFIG_USB_OHCI_HCD=y |
| CONFIG_USB_OHCI_GENERIC=y |
| CONFIG_USB_OHCI_NPCM=y |
| CONFIG_USB_STORAGE=y |
| CONFIG_LIB_HW_RAND=y |
| CONFIG_TPM=y |
| CONFIG_SHA_HW_ACCEL=y |
| # CONFIG_EFI_LOADER is not set |