config EMPTY_SLOT
    bool

config PTIMER
    bool

config DEVICE_TREE
    bool
    # fail the build if libfdt not found
    depends on FDT

config FITLOADER
    bool
    depends on DEVICE_TREE

config GENERIC_LOADER
    bool
    default y

config GUEST_LOADER
    bool
    default y
    depends on TCG && DEVICE_TREE

config OR_IRQ
    bool

config PLATFORM_BUS
    bool
    depends on DEVICE_TREE

config REGISTER
    bool

config SPLIT_IRQ
    bool