11 config ARMSSE_CPU_PWRCTRL
39 default y if TEST_DEVICES
44 default y if TEST_DEVICES
49 default y if TEST_DEVICES
50 depends on PCI && MSI_NONBROKEN
59 config INTEGRATOR_DEBUG
82 default y if PCI_DEVICES
83 depends on PCI && LINUX && IVSHMEM && MSI_NONBROKEN
93 select USB_EHCI_SYSBUS
95 config STM32F2XX_SYSCFG
98 config STM32F4XX_SYSCFG
101 config STM32F4XX_EXTI
130 config IOTKIT_SYSINFO
133 config PVPANIC_COMMON
138 default y if PCI_DEVICES
140 select PVPANIC_COMMON
145 select PVPANIC_COMMON
165 config MCHP_PFSOC_DMC
168 config MCHP_PFSOC_IOSCB
171 config MCHP_PFSOC_SYSREG