replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

IRQ: Fixup skb output parsing

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

IRQ: Rebase fixup for new flounder interface

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

IRQ: int controller service done, one client for pcilnk done

ACPI registers itself to the interrupt routing service as a
controller driver for pci link devices. It receives messages
from the routing service how to programm the link devices.

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

IRQ: working on interrupt route service

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

IRQ: Working on the interrupt routing service

The interrupt routing service now gets a list of controller driver
binary names to start including some arguments, such as MMIO base
address and subclass (for example apic/xapic...) to instantiate.

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

IRQ: Added some interface definitions and stubs.

Two interface definitions, one for interrupt-controller-driver
to interrupt service (int_route_controller.if) and one for
interrupt-receiving-driver to interrupt-route-service
(int_route_service).

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