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: fix LWIP polling in MicroPython #26

Open Ivan-Velickovic opened 7 months ago

Ivan-Velickovic commented 7 months ago

https://github.com/au-ts/LionsOS/blob/3d8cf7fe65079c716bac82d109beb509a5790be1/examples/kitty/src/micropython/micropython.c#L138-L145

We should not have to poll LWIP on every notification.