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 issue with serial input #23

Closed Ivan-Velickovic closed 7 months ago

Ivan-Velickovic commented 7 months ago

The problem with always waiting on a event to say that we have new serial input is that sometimes there isn't anything new, although we have more data left to process.

The particular scenario is when MicroPython has not been executed for a long time although we have had serial input occur. This would have resulted in multiple new entries in the shared queues, but only a single notification.