replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

Remove invoke_frame_identify, replaced with frame_identify().

This commit fully removes the Frame_Identify invocation and replaces the
calls with frame_identify().
Additionally, because the KCB is special, this commit introduces a new
invocation kcb_identify() which translates the lvaddr in the KCB
capability into the pysical address of the kernel control block.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

acpi: adapt old VTd code to the new definitions

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

Use min/max macros from bitmacros.h instead of including sys/param.h

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers

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

IRQ: Fixing the merge with restructured ACPI

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

IRQ: Adding ioapic controller stubs

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

IRQ: added predicate to instantiate msi/msi-x controllers

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

IRQ: Added an index to (VTd) dmar skb facts

The index of the dmar facts allows to correlate dmar_device
entries with other facts. This knowledge is then used in
irq_routing new to instantiate iommu and ioapic controller
with the correct topology. MSI(x) controller not yet implemented.

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

[ACPI] fixing compilation errors with updated library

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

T191: x86_64: frame_identify returns size in bytes

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

VT-d: basic support for multiple units per segment. closes T157.

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

T156: acpi: properly set vtd_enabled

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

acpi: fix VT-d initialization.

Workaround for older machines: do not enable VT-d if the IOMMU does not
support large pages.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

acpi: Abort VT-d initialization when no HW units found.

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

arrakis merge: make x86_32 build

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>

Merge of upstream arrakis code.

This merge includes the following:
* VT-d (IOMMU) support
* VMX (Intel CPU virtualization) support
* Parallel hake build
* MegaRAID driver
* Subways fast packet forwarding application
* Identify physical address of VNodes
* libstorage (VSIC & VSA support)
* POSIX support: poll, uname, nanosleep, fsync, poll, pthread attributes, syslog, wait3, ...
* TenaciousD (persistent data structures: log & queue)
* Hack to skip boot RAM when it's too large
* Arranet: Support for raw IP sockets, interrupts
* Removal of colorful debug output
* MegaRAID blockdevfs support
* Arrakis compile wrappers for Autoconf
* Patches to binutils & GCC to build Arrakis C++ applications

Signed-off-by: Simon Gerber <simon.gerber@inf.ethz.ch>
Signed-off-by: Simon Peter <simpeter@cs.washington.edu>
Signed-off-by: Oleg Godunok <ogodunok@gmail.com>
Signed-off-by: Antoine Kaufmann <antoinek@cs.washington.edu>
Signed-off-by: Jialin Li <lijl@cs.washington.edu>
Signed-off-by: Dalton Black <dalton.m.black@gmail.com>
Signed-off-by: Taesoo Kim <taesoo@uw.edu>