1 CONFIG_IRQ_DOMAIN_DEBUG=y
3 CONFIG_HIGH_RES_TIMERS=y
4 CONFIG_BLK_DEV_INITRD=y
10 CONFIG_ARM_APPENDED_DTB=y
17 CONFIG_DEVTMPFS_MOUNT=y
20 CONFIG_SATA_AHCI_PLATFORM=y
22 CONFIG_SERIAL_AMBA_PL011=y
23 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
24 CONFIG_SERIAL_OF_PLATFORM=y
25 CONFIG_I2C_DESIGNWARE_PLATFORM=y
28 CONFIG_PINCTRL_SINGLE=y
29 CONFIG_GPIO_GENERIC_PLATFORM=y
30 CONFIG_REGULATOR_GPIO=y
37 CONFIG_USB_EHCI_HCD_PLATFORM=y
39 CONFIG_NOP_USB_XCEIV=y
42 CONFIG_RTC_DRV_PL031=y
56 CONFIG_LOCKUP_DETECTOR=y