genode/os/include/platform/arndale
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
..
regulator Add 'cpu_frequency' command to cli_monitor (fix #776) 2013-06-25 11:10:58 +02:00
uart_defs.h Add print-only dummy UART driver for Exynos5 SoC 2013-06-12 11:35:12 +02:00