source pci-host/Kconfig
source pcmcia/Kconfig
source pci/Kconfig
+source rdma/Kconfig
source scsi/Kconfig
source sd/Kconfig
+source semihosting/Kconfig
source smbios/Kconfig
source ssi/Kconfig
source timer/Kconfig
config XILINX_AXI
bool
select PTIMER # for hw/dma/xilinx_axidma.c
+
+config XLNX_ZYNQMP
+ bool
+ select REGISTER