gitlab-ci: adding test that there are no unmerged files

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

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>

vmkit: fixing test

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

vmkit: use new style for guest frame allocation

Signed-off-by: Changyeon Jo <changyeon@csap.snu.ac.kr>

vmkit: add support for Intel Pentium processsor to VMkit

Signed-off-by: Changyeon Jo <changyeon@csap.snu.ac.kr>

vmkit: added i586 features to the emulated processor

Signed-off-by: Changyeon Jo <changyeon@csap.snu.ac.kr>

vmkitmon/arrakismon: do not include 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>

Move canonical definitions of MIN/MAX macros to bitmacros.h, remove duplicated definitions in lib and usr

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

T258: Implement two_level_slot_alloc_init{,_raw} and use in vmkitmon

Vmkit creates a second slot allocator for the guest. It's possible that that
allocator is completely unnecessary. For now we use two_level_slot_alloc_init()
to create a new slot allocator that uses L2 CNodes.

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

T191: x86_64: frame_identify returns size in bytes

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

T203 remove virtual devices

Signed-off-by: Lukas Humbel <lukas.humbel@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>

vmkitmon: Adjust vmkitmon to new terminal API.

Modify the virtual PC16550d driver allowing to connect a virtual serial port to
a host serial port. This patch also fixes serial input, which previously was
broken.

vmkitmon: added creating separate copy of caps that are mapped in host and guest.

VMkit: replace old-style GNU field designator with C99 syntax.

cleanup

pci mem map and interrupts for virt device working

vmkitmon_eth correct bar setup

renamed vmio to vmkitmon_eth

refactor

vmio blubbi

invalid pointer fix

starting to add pci_vmio

Patch the receive descriptor on every transmit & remove dbug output

ok sending packets work (somehow)

Mudding Pudding 2. First packet is getting transmitted!!!

Mudding Pudding

ixgbe translation

bastel bastel. translation correct? (at least on sbrinz). vmkitmon now loads
image over grub multiboot

translation again. does not (yet) work, error is most likely in vaddr_to_paddr

Tried to add translation

Forward write and read access to ethernet mmio region to real hardware (debug output -> very verbose)

uncomment assertion & print read and write access

Try not to map but to translate

Test1

map pci device memory into guest memory space

extended pci_device struct for irq capability

fake network pci card (stub)

Initial version of public stable barrelfish repository.