issues
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
One more compiler warning
#39
Closed
wom-bat
closed
5 months ago
wom-bat
commented
5 months ago
Fix types of cache_clean call.
Ivan-Velickovic
commented
5 months ago
Argh, sorry.
Fix types of cache_clean call.