1 CONFIG_IRQ_DOMAIN_DEBUG=y
3 CONFIG_HIGH_RES_TIMERS=y
4 CONFIG_BLK_DEV_INITRD=y
6 CONFIG_MACH_ARMADA_370=y
7 CONFIG_MACH_ARMADA_XP=y
10 CONFIG_ARCH_HIGHBANK=y
11 CONFIG_ARCH_KEYSTONE=y
13 CONFIG_MACH_IMX51_DT=y
18 CONFIG_ARCH_OMAP2PLUS=y
21 CONFIG_ARCH_ROCKCHIP=y
24 CONFIG_ARCH_SPEAR13XX=y
25 CONFIG_MACH_SPEAR1310=y
26 CONFIG_MACH_SPEAR1340=y
31 CONFIG_ARCH_TEGRA_2x_SOC=y
32 CONFIG_ARCH_TEGRA_3x_SOC=y
33 CONFIG_ARCH_TEGRA_114_SOC=y
35 CONFIG_TEGRA_EMC_SCALING_ENABLE=y
37 CONFIG_MACH_SNOWBALL=y
38 CONFIG_MACH_UX500_DT=y
39 CONFIG_ARCH_VEXPRESS=y
40 CONFIG_ARCH_VEXPRESS_CA9X4=y
46 CONFIG_ARM_APPENDED_DTB=y
53 CONFIG_DEVTMPFS_MOUNT=y
56 CONFIG_SATA_AHCI_PLATFORM=y
57 CONFIG_SATA_HIGHBANK=y
60 CONFIG_NET_CALXEDA_XGMAC=y
63 CONFIG_KEYBOARD_SPEAR=y
64 CONFIG_SERIO_AMBAKMI=y
66 CONFIG_SERIAL_8250_CONSOLE=y
67 CONFIG_SERIAL_8250_DW=y
68 CONFIG_SERIAL_AMBA_PL011=y
69 CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
70 CONFIG_SERIAL_SIRFSOC=y
71 CONFIG_SERIAL_SIRFSOC_CONSOLE=y
73 CONFIG_SERIAL_VT8500=y
74 CONFIG_SERIAL_VT8500_CONSOLE=y
75 CONFIG_SERIAL_OF_PLATFORM=y
77 CONFIG_SERIAL_OMAP_CONSOLE=y
78 CONFIG_SERIAL_XILINX_PS_UART=y
79 CONFIG_SERIAL_XILINX_PS_UART_CONSOLE=y
81 CONFIG_SERIAL_IMX_CONSOLE=y
82 CONFIG_SERIAL_FSL_LPUART=y
83 CONFIG_SERIAL_FSL_LPUART_CONSOLE=y
84 CONFIG_I2C_DESIGNWARE_PLATFORM=y
91 CONFIG_SPI_TEGRA20_SLINK=y
92 CONFIG_PINCTRL_SINGLE=y
93 CONFIG_GPIO_GENERIC_PLATFORM=y
95 CONFIG_REGULATOR_GPIO=y
96 CONFIG_REGULATOR_AB8500=y
97 CONFIG_REGULATOR_TPS51632=y
98 CONFIG_REGULATOR_TPS62360=y
99 CONFIG_REGULATOR_TWL4030=y
100 CONFIG_REGULATOR_VEXPRESS=y
102 CONFIG_TEGRA_HOST1X=y
108 CONFIG_USB_XHCI_HCD=y
109 CONFIG_USB_EHCI_HCD=y
110 CONFIG_USB_EHCI_MXC=y
111 CONFIG_USB_EHCI_TEGRA=y
112 CONFIG_USB_EHCI_HCD_PLATFORM=y
113 CONFIG_USB_ISP1760_HCD=y
116 CONFIG_NOP_USB_XCEIV=y
119 CONFIG_SAMSUNG_USB2PHY=y
120 CONFIG_SAMSUNG_USB3PHY=y
121 CONFIG_USB_GPIO_VBUS=y
127 CONFIG_MMC_SDHCI_PLTFM=y
128 CONFIG_MMC_SDHCI_TEGRA=y
129 CONFIG_MMC_SDHCI_SPEAR=y
133 CONFIG_EDAC_MM_EDAC=y
134 CONFIG_EDAC_HIGHBANK_MC=y
135 CONFIG_EDAC_HIGHBANK_L2=y
137 CONFIG_RTC_DRV_TWL4030=y
138 CONFIG_RTC_DRV_PL031=y
139 CONFIG_RTC_DRV_VT8500=y
140 CONFIG_RTC_DRV_TEGRA=y
143 CONFIG_TEGRA20_APB_DMA=y
162 CONFIG_DEBUG_KERNEL=y
163 CONFIG_LOCKUP_DETECTOR=y