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

Update sDDF to 0.4.0 #43

Closed Ivan-Velickovic closed 5 months ago

Ivan-Velickovic commented 5 months ago

No functional changes, but just want to be on the same hash as the 0.4.0 release.