search

au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
84 stars 7 forks source link

dep: update libvmm #55

Closed Ivan-Velickovic closed 4 months ago

Ivan-Velickovic commented 4 months ago

The motiviation is so that we have the virtIO block and block driver work in the LionsOS repository as well.