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

Re: [Xen-devel] [PATCH v8 00/11] arm: more kconfig configurability and small default configs

On 30/07/18 18:48, Stefano Stabellini wrote:
Hi all,

Hi Stefano,

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

The series makes a few changes to allow disabling more kconfig options:
most of them already exist but cannot be disabled. It also 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 clarifies the security support status of kconfig options
in Xen.

All patches are already acked, except for patch #8: "arm: add ALL_PLAT,
QEMU, Rcar3 and MPSoC configs".



The following changes since commit 16fb4b5a9a79f95df17f10ba62e9f44d21cf89b5:

   docs/gen-html-index: Make HTML::TreeBuilder::XPath optional again 
(2018-04-13 17:04:36 +0100)

This is nearly 4 months old... Please resend the series rebased on the latest staging.

are available in the git repository at:


for you to fetch changes up to 0a32269da030bf379a17b5203faa00578de9c919:

   xen: specify support for EXPERT and DEBUG Kconfig options (2018-07-30 
10:41:41 -0700)

Stefano Stabellini (11):
       arm: remove the ARM HDLCD driver

For instance, this patch has been committed a while ago.

       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_PLAT, QEMU, Rcar3 and MPSoC configs
       xen: add per-platform defaults for NR_CPUS
       xen: add cloc target
       xen: specify support for EXPERT and DEBUG Kconfig options

Julien Grall

Xen-devel mailing list



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