[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
|
Lists.xenproject.org is hosted with RackSpace, monitoring our |