search

au-ts / libvmm

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

Update to latest sDDF #110

Closed Ivan-Velickovic closed 3 months ago

Ivan-Velickovic commented 3 months ago

Fixes for a bunch of block interface renames