1935b7ead1
Introduce a new Kconfig symbol, CONFIG_DEVICE_TREE, that specifies whether to include the common device tree code in system/device_tree.c and to link to libfdt. For now, include it unconditionally if libfdt is available. Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
37 lines
452 B
Plaintext
37 lines
452 B
Plaintext
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
|