[Xen-devel] [PATCH v2 0/10] 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.

As a consequence of these changes, some options will become user-visible
and not dependent on CONFIG_EXPERT. It does not mean that Xen Project
will security support all possible combinations of kconfig options.
Instead, there will be a small set of pre-canned configurations that
will be supported.  See: https://marc.info/?l=xen-devel&m=152424389512432

One note about Kconfig renaming: I can see the benefit of being
consistent with the naming and using HAS_ only for options that are
always enabled, but I really don't have a strong opinion on this topic.

Cheers,

Stefano


Stefano Stabellini (10):
      arm: remove the ARM HDLCD driver
      arm: make it possible to disable more kconfig options
      Rename HAS_MEM_ACCESS to MEM_ACCESS
      arm: rename HAS_GICV3 to GICV3
      arm: make it possible to enable/disable UART drivers
      xen: remove HAS_ prefix from UART Kconfig options
      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

 tools/firmware/xen-dir/shim.config   |   4 +-
 xen/Makefile                         |  11 ++
 xen/arch/arm/Kconfig                 |  20 ++-
 xen/arch/arm/Makefile                |   4 +-
 xen/arch/arm/configs/qemu.config     |  53 +++++++
 xen/arch/arm/configs/rcar3.config    |  45 ++++++
 xen/arch/arm/vgic.c                  |   2 +-
 xen/arch/arm/vgic/vgic.c             |   2 +-
 xen/arch/x86/Kconfig                 |   6 +-
 xen/common/Kconfig                   |   2 +-
 xen/common/Makefile                  |   2 +-
 xen/common/domctl.c                  |   2 +-
 xen/drivers/char/Kconfig             |  33 ++--
 xen/drivers/char/Makefile            |  16 +-
 xen/drivers/passthrough/Kconfig      |   8 +
 xen/drivers/passthrough/arm/Makefile |   2 +-
 xen/drivers/video/Kconfig            |   3 -
 xen/drivers/video/Makefile           |   1 -
 xen/drivers/video/arm_hdlcd.c        | 281 -----------------------------------
 xen/include/asm-arm/gic.h            |   4 +-
 xen/include/asm-arm/vgic.h           |   4 +-
 xen/include/xen/mem_access.h         |   4 +-
 xen/include/xsm/dummy.h              |   2 +-
 xen/include/xsm/xsm.h                |   4 +-
 xen/xsm/dummy.c                      |   2 +-
 xen/xsm/flask/hooks.c                |   4 +-
 26 files changed, 181 insertions(+), 340 deletions(-)
 create mode 100644 xen/arch/arm/configs/qemu.config
 create mode 100644 xen/arch/arm/configs/rcar3.config
 delete mode 100644 xen/drivers/video/arm_hdlcd.c

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