Stefan Kalkowski
664d0036c8
Use cpu regulator in cli_monitor only on Arndale
...
This commit splits the Fiasco.OC-specific extension for the cli_monitor
into one for the Arndale platform, and one for all others. On Arndale
we add the cpu_frequency command beside the ones defined on all platforms.
2013-06-26 11:29:26 +02:00
Stefan Kalkowski
a73dc1b581
Fix coding style in regulator interface ( fix #777 )
2013-06-25 11:10:59 +02:00
Stefan Kalkowski
5a3c2c33b7
Add 'cpu_frequency' command to cli_monitor ( fix #776 )
...
This commit extends the Fiasco.OC specific extensions of the cli_monitor
to enable the user to interactively change or show current CPU frequency
2013-06-25 11:10:58 +02:00
Christian Prochaska
cae79d30b8
cli_monitor: Support dynamically linked binaries
2013-03-26 12:21:44 +01:00
Norman Feske
c56525f264
cli_monitor: Add reboot command for Fiasco.OC
...
In addition to the new reboot command, this patch tries to reduce the
artifacts caused by the interplay of the kernel debugger and
terminal_mux.
2013-03-22 21:41:50 +01:00
Norman Feske
dfe4fd177d
cli_monitor: Add foc-specific kdebug command
2013-03-21 15:50:32 +01:00
Norman Feske
05027c7935
Simple CLI for managing Genode subsystems
2013-03-21 11:44:34 +01:00