Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

docs(stage0): Change "ELF" to "bzImage" and add a link to Alioth VMM #5040

Closed
wants to merge 2 commits into from
Closed

docs(stage0): Change "ELF" to "bzImage" and add a link to Alioth VMM #5040

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
6873296
docs(stage0): Change "ELF" to "bzImage"
Lencerf Sep 10, 2024
e58c755
docs(stage0): Add a link to Alioth VMM
Lencerf Sep 10, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 5 additions & 2 deletions stage0_bin/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@
<!-- Oak Logo End -->

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
Expand All @@ -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)

Expand Down Expand Up @@ -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)).
Loading