hw/core/Kconfig

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