- 9a83e61 Add libopen_dice nostd wrapper and test it in vmbase_example by David Brazdil · 2 years, 11 months ago
- b130035 vmbase: Keep base target names for ELF not bin by Pierre-Clément Tosi · 2 years, 11 months ago
- 30a7f08 vmbase/pvmfw: Extract common build properties to defaults by David Brazdil · 3 years, 1 month ago
- 9575319 vmbase/pvmfw: Remove unnecessary 'stem' properties by David Brazdil · 3 years, 1 month ago
- b41aa8f vmbase: Use logger in example kernel by David Brazdil · 3 years, 1 month ago
- a5b7af5 Split out common part of linker script. by Andrew Walbran · 3 years, 1 month ago
- 1356454 Construct page table in Rust. by Andrew Walbran · 3 years, 4 months ago
- 1da97eb Disable HWASan for vmbase_example_elf. by Florian Mayer · 3 years, 2 months ago
- 94bbf2f Add test to run vmbase example VM. by Andrew Walbran · 3 years, 3 months ago
- f7b6dc8 Add a heap allocator. by Andrew Walbran · 3 years, 4 months ago
- eef9820 Add example to run as unprotected VM bootloader. by Andrew Walbran · 3 years, 3 months ago