replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

skb: define facts as dynamic if they might never be in the database but
are queried

Signed-off-by: Roni Häcki <roni.haecki@inf.ethz.ch>

ARMv7: Coreboot paramaters through the SKB

For ARMv7 platforms, this patch modifies Kaluga and Coreboot to discover the
available CPUs, and their boot parameters (e.g. CPU driver binary) via the
SKB, where this data is preseeded, as we can't easily probe a lot of this
without ACPI.

This *should* let us implement Coreboot pretty easily for A15 and A17.

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

skb: adding query for locality information

acpi is adding locality information now. the query allows users
to obtain a list of distances between the numa nodes

extended system topology query to return the list of distances.

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

SKB queries to get topology information if affinities are present

SKB: Adding of new queries for obtaining NUMA info

The SKB was extended with a new function to obtain information
about the system (topology) of NUMA nodes, cores and memory
used by libnuma.

The functions are not fully implemented at this stage.

Make interrupt_override a dynamic predicate so we don't fail in IOAPIC in case
no overrides are found in ACPI.

implemented local memory affinity function which returns aggregated min and max values for all elements.

added waiting mechaanism for the datagatherer.

added cache query function.

Initial version of public stable barrelfish repository.