11 config ARMSSE_CPU_PWRCTRL
24 default y if TEST_DEVICES
29 default y if TEST_DEVICES
34 default y if TEST_DEVICES
35 depends on PCI && MSI_NONBROKEN
44 config INTEGRATOR_DEBUG
67 default y if PCI_DEVICES
68 depends on PCI && LINUX && IVSHMEM && MSI_NONBROKEN
78 select USB_EHCI_SYSBUS
80 config STM32F2XX_SYSCFG
83 config STM32F4XX_SYSCFG
115 config IOTKIT_SYSINFO
118 config PVPANIC_COMMON
123 default y if PCI_DEVICES
125 select PVPANIC_COMMON
130 select PVPANIC_COMMON
150 config MCHP_PFSOC_DMC
153 config MCHP_PFSOC_IOSCB
156 config MCHP_PFSOC_SYSREG