mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-02 09:02:04 +00:00
This patch clears the terminal each time the menu appears and thereby wipes away artifacts that might occur when combining terminal_mux with kdb_uart_drv and the kernel prints messages directly.