[RFC PATCH 0/4] hw/xen: Fixes to only build the XEN_PV machine

[Philippe Mathieu-Daudé <f4bug@xxxxxxxxx>]

Hi Alex,

These are the Xen patches I'm carrying to build the xenpv
machine alone. I haven't tried to build the xenfv one.

Tagged as RFC because this was part of a draft, so must be
think better, but I don't have much time to finish it.
Anyhow quick review appreciated.

Missing (out of scope of this draft):
Possibility to build another config than the default-configs/
ones.

Regards,

Phil.

Philippe Mathieu-Daudé (4):
  hw/ide/Kconfig: IDE_ISA requires ISA_BUS
  hw/ide/Kconfig: IDE_PIIX requires IDE_ISA
  hw/xen/Kconfig: Introduce XEN_PV config
  hw/xen: Have the xenpv machine select 9pfs

 accel/Kconfig  | 1 -
 hw/Kconfig     | 1 +
 hw/ide/Kconfig | 3 ++-
 hw/xen/Kconfig | 7 +++++++
 4 files changed, 10 insertions(+), 2 deletions(-)
 create mode 100644 hw/xen/Kconfig

-- 
2.26.2