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 8 forks source link

Update to MicroPython v1.2.2 and improve import speed #27

Closed Ivan-Velickovic closed 6 months ago

Ivan-Velickovic commented 6 months ago

See commit message for details and motivation.

Closes https://github.com/au-ts/LionsOS/issues/25.