RE: [PATCH v1 07/18] docs: update hyperlaunch device tree documentation

2022-07-18 Thread Smith, Jackson
Hi Daniel, > -Original Message- > Subject: [PATCH v1 07/18] docs: update hyperlaunch device tree > documentation > diff --git a/docs/designs/launch/hyperlaunch-devicetree.rst > b/docs/designs/launch/hyperlaunch-devicetree.rst > index b49c98cfbd..ae1a786d0b 100644 > --- a/docs/designs/lau

RE: [PATCH v1 04/18] x86: refactor entrypoints to new boot info

2022-07-18 Thread Smith, Jackson
Hi Daniel, I hope outlook gets this reply right. > -Original Message- > Subject: [PATCH v1 04/18] x86: refactor entrypoints to new boot info > diff --git a/xen/arch/x86/guest/xen/pvh-boot.c > b/xen/arch/x86/guest/xen/pvh-boot.c > index 834b1ad16b..28cf5df0a3 100644 > --- a/xen/arch/x86/g

RE: [PATCH v1 10/18] x86: introduce the domain builder

2022-07-18 Thread Smith, Jackson
Hi Daniel, > -Original Message- > Subject: [PATCH v1 10/18] x86: introduce the domain builder > > This commit introduces the domain builder configuration FDT parser along > with the domain builder core for domain creation. To enable domain builder > to be a cross architecture internal API

RE: [PATCH v1 00/18] Hyperlaunch

2022-07-19 Thread Smith, Jackson
Hi Daniel, > -Original Message- > Subject: [PATCH v1 00/18] Hyperlaunch With the adjustments that I suggested in other messages, this patch builds and boots for me on x86 (including a device tree with a domU). I will continue to poke around and see if I discover any other rough edges.

RE: [PATCH v1 10/18] x86: introduce the domain builder

2022-07-22 Thread Smith, Jackson
> -Original Message- > From: Daniel P. Smith > > On 7/18/22 09:59, Smith, Jackson wrote: > > Hi Daniel, > > > >> -Original Message- > >> Subject: [PATCH v1 10/18] x86: introduce the domain builder > >> > >> This c

[IMAGEBUILDER PATCH] uboot-script-gen: allow fit generation with no dom0 kernel

2022-07-25 Thread Smith, Jackson
Hi Stefano, My colleague Jason Lei and I would like to submit a patch to imagebuilder. It seems that generating a .fit with a true dom0less configuration fails because an extraneous comma is included in the its file. We believe this change resolves the issue. Thanks, Jackson -- >8 -- Remove

RE: [IMAGEBUILDER PATCH] uboot-script-gen: allow fit generation with no dom0 kernel

2022-07-27 Thread Smith, Jackson
> -Original Message- > From: Stefano Stabellini > > On Mon, 25 Jul 2022, Smith, Jackson wrote: > > Hi Stefano, > > > > My colleague Jason Lei and I would like to submit a patch to imagebuilder. > > > > It seems that generating a .fit with a true

[RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-13 Thread Smith, Jackson
Hi Xen Developers, My team at Riverside Research is currently spending IRAD funding to prototype next-generation secure hypervisor design ideas on Xen. In particular, we are prototyping the idea of Virtual Memory Fuses for Software Enclaves, as described in this paper: https://www.nspw.org/papers/

[RFC 1/4] Add VMF Hypercall

2022-12-13 Thread Smith, Jackson
This commit introduces a new vmf_op hypercall. If desired, could be merged into an exisiting hypercall. Also, introduce a VMF Kconfig option and xen/vmf.h, defining the arch specific functions that must be implmented to support vmf. --- tools/include/xenctrl.h | 2 + tools/libs/

[RFC 2/4] Add VMF tool

2022-12-13 Thread Smith, Jackson
VMF tool for calling vmf_op hypercall. Eventually should be merged into xl and related libraries. --- tools/Makefile | 1 + tools/vmf/Makefile | 32 +++ tools/vmf/vmf.c| 65 ++ 3 files changed, 98 insertions(+) c

[RFC 3/4] Add xen superpage splitting support to arm

2022-12-13 Thread Smith, Jackson
Updates xen_pt_update_entry function from xen/arch/arm/mm.c to automatically split superpages as needed. --- xen/arch/arm/mm.c | 91 +++ 1 file changed, 78 insertions(+), 13 deletions(-) diff --git a/xen/arch/arm/mm.c b/xen/arch/arm/mm.c index 6

[RFC 4/4] Implement VMF for arm64

2022-12-13 Thread Smith, Jackson
Implements the functions from xen/vmf.h for arm64. Introduces an xen/arch/arm/mm-walk.c helper file for walking an entire page table structure. --- xen/arch/arm/Makefile | 1 + xen/arch/arm/include/asm/mm-walk.h | 53 ++ xen/arch/arm/include/asm/mm.h | 11 +++ xen/arc

RE: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-15 Thread Smith, Jackson
Hi Julien, -Original Message- From: Julien Grall Sent: Tuesday, December 13, 2022 3:55 PM To: Smith, Jackson > > On 13/12/2022 19:48, Smith, Jackson wrote: > > Hi Xen Developers, > > Hi Jackson, > > Thanks for sharing the prototype with the community. Some &

RE: [RFC 0/4] Adding Virtual Memory Fuses to Xen

2022-12-20 Thread Smith, Jackson
-Original Message- > From: Julien Grall > Sent: Friday, December 16, 2022 3:39 AM > > Hi Stefano, > > On 16/12/2022 01:46, Stefano Stabellini wrote: > > On Thu, 15 Dec 2022, Julien Grall wrote: > >>>> On 13/12/2022 19:48, Smith, Jackson wrote: >