replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

harness: fix release build to ignore unused variables

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

Removing ssh

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

harness: call hake with a proper architecture

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

harness/builds: Do not clobber os.environ but rather work on copy

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

harness: Add new build type "test" (no debug symbols, assertions enabled) and set as default

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

K1OM toolchain update: harness: fix path for MPSS

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

harness: update interactive tests to work with new serial drivers

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

harness: adding 'hagfish_location' to the default config for tests

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

Removed _gem5 and _fvp build types.

The refactored ARM code doesn't need anything special.

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

Added a harness machine definition for FVPs.

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

harness: add build type for armv7 gem5+debug symbols

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

T191: call invoke_cnode_retype2 with count = 0 from cap_retype()

This uses the new retype code internally whenever cap_retype() (old API) is called.

caps_retype2() emulates the old behaviour (i.e. split whole source region into
equally-sized regions of objsize) if called with count == 0. This is not
intended to be long term behaviour, but to allow us to remove the old
kernel-side implementation without fixing all call sites first.

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

Squashed changes of e89aa91..6ca6bdf (master as of 2016-04-18).

Take this commit out when merging

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

harness: Fix Config.hs generation by including cache_dir.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@inf.ethz.ch>

Clean merge of HP's ARMv8 code

This adds support for an ARMv8 core running in the GEM5 simulator

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

Updated harness builds to match hake.sh

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

harness: adding test for xeon phi boot

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

Disabled mdb invariant checking by default, added new harness build that enables invariants.

Added a short-term solution for making gem5 harness tests work.

Due to changing the default armv7 platform in hake/Config.hs.template to
pandaboard the gem5 harness tests stopped working. This commit fixes this by
introducing a new build target (release_gem5) for scalebench. The longer-term
solution would probably be to make Config.hs variables configurable from
harness machines.

Added tests and benchmarks for MDB.

newlib: make it default and add oldc builds to harness

make freec the default libc, and create newlib harness builds.

Initial version of public stable barrelfish repository.