search

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel
Other
29 stars 15 forks source link

Update to latest sDDF #131

Closed Ivan-Velickovic closed 1 month ago

Ivan-Velickovic commented 1 month ago
Ivan-Velickovic commented 1 month ago

Depends on https://github.com/au-ts/sddf/pull/270, do not merge until that PR is on mainline and the sDDF submodule points to a commit on main.