cxx: Decouple C++ runtime from 'env()->heap()'
terminal: Add support for EL0
Move gems/include/terminal to os/include/terminal

The terminal utilities provided under 'include/terminal' depend on the
base API and the 'os' repository only. So we can incorporate them into
'os'.
Simple CLI for managing Genode subsystems
Add cli_monitor to terminal_mux.run
foc: Create thread at core at construction time

Originally, a thread was created at core not before calling the 'start'
function. In order to configure the thread affinity before starting the
thread, we have to make the thread known at core right at construction
time. This patch moves the needed thread-creation sequence from the
'start' function to the '_init_platform_thread' function.
Simple thread-affinity test
timer: Remove debug message
cli_monitor: Add foc-specific kdebug command
usb: fix linux header include setup phase

In usb.inc all required Linux include files of the Linux code are looked up
by 'sed'ing through the files of SRC_C and SRC_CC. The Linux include files
are then added as dependency to the SRC_C and SRC_CC files and during dependency
resolution symbolic links to the lx_emul.h will be created.

In the platform specific usb.mk file there are the Linux driver files
added, but unfortunately after including usb.inc. So, for them no dependency
to any Linux include header file is generated and so no symbolic files are
generated.

If the driver code file is compiled as first, as for asix.c, the symbolic links
of the include files are missing and compilation fails.

Add the Linux driver code files to SRC_C before including usb.inc in the
platform specific usb.mk files.
Fix warning on 64bit

Because the template instantiation rules of C++ do not deal well with
null pointers specified as '0', the constructor of 'Local_addr' was
instantiated for [T = int], which does not make sense. To avoid the
warning "cast to pointer from integer of different size", we need to
explicitly state that '0' is a pointer. In C++11, there is the 'nullptr'
keyword, but until we switch to this version, we have to state (void *)0.
acpi: Adjust device_pd quota for 64bit machines
terminal: Check bounds of cursor position

Thanks @cproc for the fix.
sd_card: Make OMAP4 'sd_card.h' default
sd_card: Exynos5/MMC support

Added MMC specific parts to Sd-card implemntation. Read/Write takes advantage of
DMA. Currently we leave card in one bit mode.
Add missing licensing headers
sd_card: Enable 8-bit/52Mhz mode for eMMC
Remove debug message
Suppress warnings in release mode

Fixes #698
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.