[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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



Hi Stefano,


On 06/04/2018 10:53 PM, Stefano Stabellini wrote:
Hi all,

This patch series is the first step toward building a small certifiable
Xen hypervisor for ARM boards.
How much code size can be reduced ? any ballpark figure

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), Xilinx MPSoC, 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

Cheers,

Stefano


Stefano Stabellini (10):
       arm: remove the ARM HDLCD driver
       arm: make it possible to disable HAS_GICV3
       arm: rename HAS_GICV3 to GICV3
       Make MEM_ACCESS configurable
       make it possible to enable/disable UART drivers
       arm: make it possible to disable the SMMU driver
       arm: add a tiny kconfig configuration
       arm: add ALL, QEMU, Rcar3 and MPSoC configs
       xen: add per-platform defaults for NR_CPUS
       xen: add cloc target

  tools/firmware/xen-dir/shim.config       |   2 +-
  xen/Makefile                             |  12 ++
  xen/arch/Kconfig                         |   4 +
  xen/arch/arm/Kconfig                     |  17 +-
  xen/arch/arm/Makefile                    |   4 +-
  xen/arch/arm/configs/tiny.conf           |  43 +++++
  xen/arch/arm/platforms/Kconfig           |  54 ++++++
  xen/arch/arm/platforms/Makefile          |   2 +-
  xen/arch/arm/platforms/vexpress.c        |  35 ----
  xen/arch/arm/vgic.c                      |   2 +-
  xen/arch/arm/vgic/vgic.c                 |   2 +-
  xen/arch/x86/Kconfig                     |   2 +-
  xen/common/Kconfig                       |  10 +-
  xen/common/Makefile                      |   2 +-
  xen/common/domctl.c                      |   2 +-
  xen/drivers/char/Kconfig                 |  15 +-
  xen/drivers/passthrough/Kconfig          |  12 ++
  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/platforms/vexpress.h |   6 -
  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 +-
  29 files changed, 175 insertions(+), 362 deletions(-)
  create mode 100644 xen/arch/arm/configs/tiny.conf
  create mode 100644 xen/arch/arm/platforms/Kconfig
  delete mode 100644 xen/drivers/video/arm_hdlcd.c

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


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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.