1config EMPTY_SLOT 2 bool 3 4config PTIMER 5 bool 6 7config DEVICE_TREE 8 bool 9 # fail the build if libfdt not found 10 depends on FDT 11 12config FITLOADER 13 bool 14 depends on DEVICE_TREE 15 16config GENERIC_LOADER 17 bool 18 default y 19 20config GUEST_LOADER 21 bool 22 default y 23 depends on TCG && DEVICE_TREE 24 25config OR_IRQ 26 bool 27 28config PLATFORM_BUS 29 bool 30 depends on DEVICE_TREE 31 32config REGISTER 33 bool 34 35config SPLIT_IRQ 36 bool 37