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

[Julien Grall <julien.grall@xxxxxxx>]

On 04/06/18 18:23, Stefano Stabellini wrote:
> Hi all,
Hi,

> 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), 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
I have merged this patch in my next branch. I will wait the answer about 
SUPPORT.MD before merging the other acked patch.
Cheers,

>        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
--
Julien Grall

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