replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

armv7: Correct name PL130 to PL390

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

armv7: Move distributor driver to userspace

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Kaluga: Fix rebase instantiate_driver_domain

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

Change the pandaboard drivers to new driver format.

This includes major refactoring in Kaluga, SDMA, MMCHS, FDIF drivers
along with the addition of new drivers such as cm2, twl6030 etc.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

Kaluga modifications to start domain.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

ARM: move the *_map.h files into /include/maps/

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

flounder: merging rpc client with a binding layer

Signed-off-by: Adam Turowski <adam.turowski@inf.ethz.ch>

kaluga/omap44xx: Provide correct set of caps to usb_manager

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

IRQ: Fixes for armv7/pandaboard

Signed-off-by: Lukas Humbel <lukas.humbel@inf.ethz.ch>

ARMv7: Rewrote serial drivers on ARM.

They're now fairly well compartmentalised on both ARM and x86, and can start
automatically from Kaluga. There's also a 'kernel' serial driver, which uses
the syscall interface to read and write on the kernel console. This avoids
having user level and kernel code racing on access to the UART. Fish works
(minus line editing) on all Versatile Express platforms.

Signed-off-by: David Cock <david.cock@inf.ethz.ch>