genode/repos/os/src
Norman Feske 5bb366513b Remove os/src/app/cli_monitor
Nowadays, we use standard command-line tools like vim to edit init
configurations dynamically, which alleviates the need for a custom CLI.
The CLI-monitor component was too limited for use cases like Sculpt
anyway.

The patch also removes the ancient (and untested for long time)
terminal_mux.run script, which used to be the only remaining user of the
CLI monitor.

Issue #3512
2019-11-19 14:23:56 +01:00
..
app Remove os/src/app/cli_monitor 2019-11-19 14:23:56 +01:00
drivers Fix ram session quota accounting in lan9118 2019-11-19 14:23:56 +01:00
init timeout: use uint64_t for all plain time values 2019-05-06 16:15:26 +02:00
lib file system: enhanced file status info 2019-11-19 14:23:56 +01:00
server Remove os/src/app/cli_monitor 2019-11-19 14:23:56 +01:00
test test/vfs_stress: annotate switch label fall-throughs 2019-11-19 14:23:56 +01:00