3 CONFIG_DEFAULT_UIMAGE=y
5 CONFIG_GENERIC_CLOCKEVENTS_BROADCAST=y
6 CONFIG_GENERIC_IRQ_MIGRATION=y
7 CONFIG_GENERIC_MSI_IRQ=y
8 CONFIG_GENERIC_MSI_IRQ_DOMAIN=y
9 CONFIG_GENERIC_TBSYNC=y
10 CONFIG_IRQ_DOMAIN_HIERARCHY=y
11 CONFIG_LOCK_SPIN_ON_OWNER=y
12 CONFIG_MAX63XX_WATCHDOG=y
16 CONFIG_MTD_NAND_FSL_ELBC=y
18 CONFIG_MTD_SPLIT_FIRMWARE=y
19 CONFIG_MTD_SPLIT_FIT_FW=y
20 CONFIG_MUTEX_SPIN_ON_OWNER=y
21 CONFIG_NEED_DMA_MAP_STATE=y
22 CONFIG_NET_FLOW_LIMIT=y
25 # CONFIG_NVME_MULTIPATH is not set
28 CONFIG_PCI_MSI_ARCH_FALLBACKS=y
29 CONFIG_PCI_MSI_IRQ_DOMAIN=y
31 CONFIG_PPC_MSI_BITMAP=y
36 CONFIG_RTC_DRV_DS1307=y
37 CONFIG_RWSEM_SPIN_ON_OWNER=y
40 CONFIG_TARGET_CPU="8540"
41 CONFIG_TARGET_CPU_BOOL=y