replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

libbarrelfish: pinned: count slab refills

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

libbarrelfish: pinned: count slab refills

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

libbarrelfish: pinned: refill slabs in 64 page chunks instead of page by page

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

libbarrelfish: vspace_pinned_alloc: acquire lock nested, as we can recurse back into here through memobj->fill

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

T318: vspace_pinned_alloc: fix case where we call back into vspace_pinned_alloc() from memobj->fill while refilling

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

lib/barrelfish: Fix T318 by ensuring the slab is never empty

The slab is not only refilled when slab_alloc returns a NULL
pointer but also when its free count drops to zero after an
allocation. That seems to mitigate the problem, tests pending.

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

vspace_pinned_alloc: dump errors so that we get full error stack

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

Rename struct slab_alloc to struct slab_allocator.

We have a function with the following signature:

void *slab_alloc(struct slab_alloc *);

which produces the following error message with g++:

error: ‘void* slab_alloc(slab_alloc*)’ hides constructor for ‘struct
slab_alloc’ [-Werror=shadow]

The two easy ways out are 1) renaming the function or 2) renaming the struct.
For clarity (and consistency with malloc and co) I've chosen to rename the
struct to "struct slab_allocator".

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

removed #inluce <stdio.h>, since no debug printf's anymore in these files

kernel and userspace now working, removed some debug printfs, general code cleanup

- kernel ready
- added 3 new devices for development board
- temporary added debug printfs

fixes to enable compilation with ICC

The primary changes are avoiding pointer arithmetic on void * types, which is
evidently a GCCism: instead a byte-sized pointer type should be used.

Other changes include workarounds to avoid uninitialised variable warnings,
and an insistence that const values have an initialiser (being static and implicitly
initialised to zero isn't sufficient).

Initial version of public stable barrelfish repository.