config EMPTY_SLOT
bool
config PTIMER
config FITLOADER
config GENERIC_LOADER
default y
config GUEST_LOADER
depends on TCG
config OR_IRQ
config PLATFORM_BUS
config REGISTER
config SPLIT_IRQ