[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 Thu, 2 Aug 2018, Julien Grall wrote:
> Hi Stefano,
> 
> On 31/07/18 17:10, Stefano Stabellini wrote:
> > 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.
> 
> I addressed Jan's small request and committed.

Thank you!

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