[Xen-devel] [PATCH 0/6] arm: more kconfig configurability and small default configs

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

Hi all,

This patch series is the first step toward building a small certifiable
Xen hypervisor for ARM boards.

First, the series makes a few changes to allow disabling more kconfig
options: most of them already exist but cannot be disabled.

Then, it introduces a reference kconfig for Renesas RCar (due to popular
demand, candidate for certifications) and for QEMU aarch64 (not for
certifications, but useful for debugging).

The last patch in the series adds a convenient cloc target to count the
total lines of code of the source files built.


There a couple of open questions which need to be addressed in regards
to which options to enable/disable in the reference kconfig. The primary
one is which schedulers to enable.

In this series, I enabled NULL and credit, but none of the others. The
choice is somewhat arbitrary but driven by the idea that NULL is
required for best interrupt latency results, and credit is the default.
They can be paired using multiple cpupools.

Aside from the schedulers, most other kconfig options seem pretty
obvious.

I am interested in hearing other opinions about this.

Cheers,

Stefano



Stefano Stabellini (6):
      arm: make it possible to disable more kconfig options
      arm: make it possible to enable/disable UART drivers
      arm: make it possible to disable the SMMU driver
      arm: add a small kconfig for Renesas RCar H3
      arm: add a small kconfig for qemu-system-aarch64
      xen: add cloc target

 xen/Makefile                         | 14 ++++++-
 xen/Rules.mk                         |  2 +
 xen/arch/arm/Kconfig                 | 15 +++++--
 xen/arch/arm/configs/qemu.config     | 81 ++++++++++++++++++++++++++++++++++++
 xen/arch/arm/configs/renesas.config  | 80 +++++++++++++++++++++++++++++++++++
 xen/drivers/char/Kconfig             | 16 +++----
 xen/drivers/passthrough/Kconfig      |  2 +
 xen/drivers/passthrough/arm/Kconfig  |  7 ++++
 xen/drivers/passthrough/arm/Makefile |  2 +-
 xen/drivers/video/Kconfig            |  8 +++-
 10 files changed, 211 insertions(+), 16 deletions(-)
 create mode 100644 xen/arch/arm/configs/qemu.config
 create mode 100644 xen/arch/arm/configs/renesas.config
 create mode 100644 xen/drivers/passthrough/arm/Kconfig

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel