1config EMPTY_SLOT 2 bool 3 4config PTIMER 5 bool 6 7config FITLOADER 8 bool 9 10config GENERIC_LOADER 11 bool 12 default y 13 14config GUEST_LOADER 15 bool 16 default y 17 depends on TCG 18 19config OR_IRQ 20 bool 21 22config PLATFORM_BUS 23 bool 24 25config REGISTER 26 bool 27 28config SPLIT_IRQ 29 bool 30