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

Fix compiler warnings #35

Closed wom-bat closed 5 months ago

wom-bat commented 5 months ago

After these changes the only compile-time warnings are for the lack of a printf prototype in uio.h and attempts to create /micropython directories.

Ivan-Velickovic commented 5 months ago

Found the issue of /micropython directories

Ivan-Velickovic commented 5 months ago

Pushed, can you check that gets rid of the message for you.

wom-bat commented 5 months ago

OK that fixes everything that's easily fixable.