Update to latest sDDF (block interface changes)

au-ts / libvmm

An experimental virtual machine monitor for the seL4 microkernel

Other

29 stars 15 forks source link

Closed Ivan-Velickovic closed 2 months ago

Ivan-Velickovic commented 2 months ago

Need to fixup the UIO block driver after the error messages PR gets merged as well.