Update to latest sDDF - Githubissues

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

Closed Ivan-Velickovic closed 5 months ago

Ivan-Velickovic commented 5 months ago

Most changes are to do with network sub-system renaming

Ivan-Velickovic commented 5 months ago

Okay, Kitty still seems functional. Will do double check the diff and then merge.