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

examples: always compile with optimisations #78

Open Ivan-Velickovic opened 2 months ago

Ivan-Velickovic commented 2 months ago

There's no reason to my knowledge to always compile without optimisations.

Note that I haven't tested the Kitty or web server example which should be done before merging this.