search

au-ts / sddf

A collection of interfaces, libraries and tools for writing device drivers for seL4 that allow accessing devices securely and with low overhead.
Other
17 stars 14 forks source link

serial: consume all enqueued characters in mux_rx #50

Closed alwin-joshy closed 5 months ago

alwin-joshy commented 6 months ago

The serial multiplexer only dequeues one character at a time in the handle_rx() path. This is incorrect, as it is possible that the serial driver signalled the mux several times before it got a chance to run, meaning that there could be several characters to consume.