search

au-ts / libvmm

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

build.zig: compile libvmm with virtIO devices as well #126

Closed Ivan-Velickovic closed 2 months ago