From 6873296a220e3d92ed54949edd9af1d24fd1441c Mon Sep 17 00:00:00 2001 From: Changyuan Lyu Date: Mon, 9 Sep 2024 23:38:29 -0700 Subject: [PATCH 1/2] docs(stage0): Change "ELF" to "bzImage" Stage0 no longer supports ELF kernel after 9b5b3e3. Signed-off-by: Changyuan Lyu --- stage0_bin/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/stage0_bin/README.md b/stage0_bin/README.md index 39641a19a3..9b354ea828 100644 --- a/stage0_bin/README.md +++ b/stage0_bin/README.md @@ -5,7 +5,7 @@ Oak stage0 is a purposefully minimal (trusted) firmware for virtual machines -that can boot 64-bit Linux(-compatible) ELF kernels. +that can boot 64-bit Linux(-compatible) kernels (bzImage). The motivating example for having a minimal firmware is secure virtual machines, such as virtual machines running under AMD SEV-SNP or Intel TDX, where it is @@ -27,7 +27,7 @@ We target the QEMU `microvm` machine (and compatible VMMs), and support: - serial port (for logging) - AMD SEV, SEV-ES and SEV-SNP (setting encrypted bit in the page tables and validating guest physical memory) -- loading and parsing ELF kernels +- loading and parsing bzImage kernels - [the 64-bit Linux boot protocol](https://www.kernel.org/doc/html/v5.6/x86/boot.html#id1) (boot parameters structure) From e58c755967bafd21781a26a2e1e14630fba3fa16 Mon Sep 17 00:00:00 2001 From: Changyuan Lyu Date: Mon, 9 Sep 2024 22:43:26 -0700 Subject: [PATCH 2/2] docs(stage0): Add a link to Alioth VMM Signed-off-by: Changyuan Lyu --- stage0_bin/README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/stage0_bin/README.md b/stage0_bin/README.md index 9b354ea828..62d5d2959a 100644 --- a/stage0_bin/README.md +++ b/stage0_bin/README.md @@ -153,3 +153,6 @@ interest: - [EDK2 / OVMF](https://github.com/tianocore/edk2) is a fully-featured UEFI firmware that can be used with QEMU. Written in C; supports everything, including SEV, SEV-ES, SEV-SNP, and the kitchen sink. +- [Alioth](https://github.com/google/alioth) is an experimental lightweight VMM. + Written in Rust; supports SEV, SEV-ES, and SEV-SNP with stage0 firmware + ([doc](https://github.com/google/alioth/blob/main/docs/coco.md)). \ No newline at end of file