armv8: Fix mem_alloc on matching caps in init

And ensure Barebones system work by assigning a generous amount of RAM

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

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

init: add check in mymm_alloc() to catch recursive calls

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

tracing: make larger trace buffers possible

Init allocates the Frame cap for the shared trace buffer. As we only gave init
16MB for it's memory allocator, this could fail for larger machines (e.g.
babybel). This commit increases the maximum number of cores for tracing to 32,
and the per-core trace buffer to 20'000 events.

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

Use generated OBJSIZE_* constants instead of hard-coded values.

This requires more cleanup of code that still requires sizes in bits, e.g.
the memory server.

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

T258: Fix libmm to refill it's slot allocator if refill function provided

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

T258, T264, T270: Implement two-level cspace layout using L1/L2 CNode objects.

distops functionality is NYI.

This commit also makes the root cnodes explicit for sys_map(), closes T270.

Notable changes:
* LRPC LMP endpoints are regular capabilities in L2 cnode, no longer in root
cnode.
* Capability operations take a capability address for the root cnode relative
to which capability addresses are to be resolved. The root cnode capability
address must be resolvable in the current domains cspace.

Closes T264.

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

T191: x86_64: make it compile again

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

T191: init: use mm_add_multi in initialize_ram_alloc()

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

T191: x86_64: refactor retype2 back to retype

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

T191: User space works again with reduced set of provided capabilities.

Remove debug print in mem_alloc.

Rename x86boot/armboot -> corectrl.

Revert "Fix mem_alloc required bits. (TODO: figure out why exactly this breaks now)"

This reverts commit efef82f5fe79b927153795df91bae9b4098f983a.

Fix mem_alloc required bits. (TODO: figure out why exactly this breaks now)

added entries to gitignore

Addition of a second supercn.

It turned out that running Barrelfish on machines with lots of RAM will
results in a error during booting that the supercn has no more space
left. As soon as supercn0 has no space left, the allocator will switch
to the second supercn1 to store the capabilities.

Also memserver will get both endpoints and switches automatically to the
next supercn while building up the memory allocator. The maximum size
bits are extended to 40.

The offsets are adapted to support 1024GB physical memory.

The implementation has been tested on qemu prior commit.

Merge from ASPLOS tree.

Initial version of public stable barrelfish repository.