mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 16:35:28 +00:00
0a470e66f2
When receiving a terminal signal, the uart device model has to take all characters out of the stream. Otherwise, characters might never arrive at the VM. This was not recognized before, because it was used with a quite slow UART only, which obviously never achieved to send more characters at once. Ref #3278
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.