| CONFIG_EMBEDDED=y |
| CONFIG_ARCH_MULTI_V7=y |
| CONFIG_ARM_CPU_TOPOLOGY=y |
| CONFIG_ARCH_NPCM=y |
| CONFIG_ARCH_NPCM7XX=y |
| CONFIG_SMP=y |
| CONFIG_VMSPLIT_3G_OPT=y |
| CONFIG_ARM_THUMB=y |
| CONFIG_ARM_ERRATA_643719=y |
| CONFIG_HARDEN_BRANCH_PREDICTOR=y |
| CONFIG_KUSER_HELPERS=y |
| CONFIG_ARM_PATCH_IDIV=y |
| CONFIG_CPU_SW_DOMAIN_PAN=y |
| CONFIG_SERIAL_8250=y |
| CONFIG_SERIAL_8250_CONSOLE=y |
| CONFIG_SERIAL_OF_PLATFORM=y |
| CONFIG_SPI_NPCM_FIU=y |
| CONFIG_GPIO_GENERIC_PLATFORM=y |
| CONFIG_HW_RANDOM=y |
| CONFIG_HW_RANDOM_NPCM=y |
| CONFIG_WATCHDOG=y |
| CONFIG_WATCHDOG_CORE=y |
| CONFIG_WATCHDOG_HANDLE_BOOT_ENABLED=y |
| CONFIG_NPCM7XX_WATCHDOG=y |
| CONFIG_RAS=y |
| CONFIG_EDAC=y |
| CONFIG_EDAC_NPCM7XX=y |
| CONFIG_SQUASHFS_DECOMP_MULTI_PERCPU=y |
| CONFIG_RESET_CONTROLLER=y |
| CONFIG_RESET_NPCM=y |
