search

au-ts / libvmm

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

`examples/virtio-snd`: fix VCPU for Microkit 1.4.0 #104

Closed alexandermbrown closed 3 months ago