[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 Tue, 31 Jul 2018, Julien Grall wrote:
> 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".
> > 
> > Cheers,
> > 
> > Stefano
> > 
> > 
> > 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.

This is the rebase on staging, let me know if you would also like me to
send it to the list. This branch is exactly identical to v8 (aside from
the first patch being dropped): I haven't done Jan's small request for
change. Let me know if you prefer that I do.


The following changes since commit 6aaa9fb308171ec58ddf4cf058ad5341f81a65cf:

  hvm/altp2m: Clarify the proper way to extend the altp2m interface (2018-07-31 
16:14:01 +0100)

are available in the git repository at:

  http://xenbits.xenproject.org/git-http/people/sstabellini/xen-unstable.git 
small-kconfig-v8-2

for you to fetch changes up to ca306f0f0e25a520fa1c4abd225fc9125327423e:

  xen: specify support for EXPERT and DEBUG Kconfig options (2018-07-31 
08:24:01 -0700)

----------------------------------------------------------------
Stefano Stabellini (10):
      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

 SUPPORT.md                           |  6 +++++
 tools/firmware/xen-dir/shim.config   |  2 +-
 xen/Makefile                         | 12 +++++++++
 xen/arch/Kconfig                     |  3 +++
 xen/arch/arm/Kconfig                 | 15 ++++++++---
 xen/arch/arm/Makefile                |  4 +--
 xen/arch/arm/configs/tiny64.conf     | 38 ++++++++++++++++++++++++++
 xen/arch/arm/platforms/Kconfig       | 52 ++++++++++++++++++++++++++++++++++++
 xen/arch/arm/platforms/Makefile      |  2 +-
 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/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 +--
 25 files changed, 173 insertions(+), 34 deletions(-)
 create mode 100644 xen/arch/arm/configs/tiny64.conf
 create mode 100644 xen/arch/arm/platforms/Kconfig



_______________________________________________
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®.