base-hw: Define CACHE_LINE_SIZE_LOG2 for rpi
noux: avoid dangling pointer

Issue #485
noux: lock region list

Issue #485
noux: first remove from list, then dissolve

Avoids deadlock - which is out of the list can't be found twice to be deleted.

Issue #485
noux: fix deadlock during destruction

Issue #485
noux: avoid 'no attachment at 0' messages

binary_ds cap is attempted to free up twice by
_root_dir->release(_name, _binary_ds) in ~Child de-constructor and by
Static_dataspace_info _binary_ds_info de-constructor.

This commit keeps all binary related information inside a struct which gets
freed up after all noux session book keep cleaning is done.

Issue #485
noux: implement some libc dummy function

and quieten some noisy messages in non-verbose mode

Issue #485
Adjust tcp_terminal quota

Nic_bridge requires more memory.
Reflection support for input/keycodes.h

To enable the specification of key names in configuration files parsed
at runtime, we need the association between key-code values and their
respective names.
nitpicker: Support for global keys
Minor comment fix
os: Add const qualifiers to blit library
base: Add const qualifiers to 'util/list.h'

This patch adds support for iterating through a const list. This allows
users of lists to be more rigid with regard to constness. Furthermore,
the patch adds the function 'List::insert_at' for inserting an element
at a specified position. By adding this function, we can remove code
duplication in nitpicker.
base: Make Signal_receiver noncopyable

This change prevents accidental copying of signal receivers via a
compile error.
make Attached_ram_dataspace::local_addr const
os: Move Genode::Config into 'config' library

Originally, the convenience utility for accessing a process
configuration came in the form of a header file. But this causes
aliasing problems if multiple compilation units access the config while
the configuration gets dynamically updated. Moving the implementation of
the accessor to the singleton object into a library solves those
problems.
os: New Signal_rpc_dispatcher utility

The so-called Signal_rpc_dispatcher delegates the handling of signals to
the context of an RPC entrypoint.
os: Skeleton for server implementations
nitpicker: Add const qualifiers
nitpicker: Use signals for main loop