au-ts / lionsos

A secure, fast, and adaptable OS based on the seL4 microkernel
https://lionsos.org
BSD 2-Clause "Simplified" License
86 stars 13 forks source link

kitty: freeze asyncio module #30

Closed Ivan-Velickovic closed 7 months ago

Ivan-Velickovic commented 7 months ago

Right now the asyncio module which is necessary for the client Kitty code is imported over NFS.

Instead, we should freeze the module since there's no benefit to having a standard Python module over NFS compared to our own client side scripts.

MicroPython has a way of compiling modules into the final image but I haven't been getting it working yet. We should figure this out before the release so people can get Kitty working without setting up a NFS server.

Ivan-Velickovic commented 7 months ago

Done in https://github.com/au-ts/lionsos/pull/37 thanks to @JE-Archer.