replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

hpet two part driver

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

hpet source code cleanup

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

Driver can now trigger and receive interrupts through FSB and I/O APIC mapping

Signed-off-by: Rana Afifi <afrana@student-ethz.ch>

HPET Driver which now can configure FSB interrupts and receive them

Signed-off-by: Rana Afifi <afrana@student-ethz.ch>

Correct irq delivery in int_route client

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

IRQ: Getting the 82574 to trigger MSIxs...

The msix controller gets instantiated in the card, it gets
the correct message. The card is being set up to use MSIx.
But something is not working yet...

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

IRQ: Parse skb output (again)

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

IRQ: Fixup skb output parsing

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

IRQ: Fixup rebase errors

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

IRQ: Try to parse MSIX mem_write terms from skb

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

IRQ: Added irq_idx to route call

When given an interrupt source capability with a range, this
allows you to specify exactly which vector you want routed.

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

flounder: making const pointers in receiving handlers, using CONST_CAST as a temporary solution in few places but finally it should be removed

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

int_route: simplifying some memory allocations

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

IRQ: Add range to IRQSrc cap

To prepare for MSIx, we change the IRQSrc cap so that it does not
represent a single interrupt source but a whole range. This commit
changes it to a range.

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

IRQ: Int route service: corrected use of continuations

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

T283: Fix irqtest on tomme

So far, I ignored the Pin requested by the device. The code is now
also fault tolerant and will not produce an error in case the ACPI
entries for a PCI device are missing.

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: serial driver uses IRQ cap

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

IRQ: Interrupt controller for link devices working

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

IRQ: Better debug output

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

IRQ: Kaluga start driver with IRQ caps.

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

IRQ: Int route server cleanup

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

IRQ: use uint64_t everywhere for int numbers, renamed controller

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: cleanup

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: Use kaluga to start interrupt controllers

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: Start implementing interrupt routing service

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>