islet

islet copied to clipboard

e.g., ``` listen!(mainloop, rmi::REC_CREATE, |arg, ret, rmm| { ... rmm.page_table.map(rec, true); // map here ... rec.set_vtcr(prepare_vtcr(&rd)?); // something goes wrong in the middle. --> we need to unmap "rec" in...

jinbpark

This is the first step of the sealing key derivation process, which produces Virtual Hardware Unique Keys (VHUKs) used as an IKM (Input Key Material) of the realm sealing key...

zos

Update submodules after merging: * https://github.com/islet-project/assets/pull/12 * https://github.com/islet-project/assets/pull/13

L0czek

MIRI Integration Status

3

## MIRI found bugs ### 1. Memory Leak in Multi-Level Page Table - Problem: Sub Tables allocated during the `map()` in RMM's Page Table were not deallocated during the `unmap()`...

bitboom