armv8: increase kcb size to accomodate vector table

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>

kernel,monitor: implement reclaiming of previously dropped ram caps.

Until now, if the kernel couldn't return a freed region of physical
memory to the monitor, e.g. because the monitor was not ready yet, or
the monitor's receive slot is already occupied, it would drop the range
and print a diagnostic message.

With this change, the cpu driver has 4 slots per KCB in which it can
store a range that would be dropped. The monitor gets a new kernel cap
invocation which allows it to retrieve one of the stored slots, if any.
The monitor runs a deferred event loop which checks if there's a range
to retrieve every second, and forwards any retrieved ranges to the
memory server.

The retrieval is very similar to a capops delete step, but does not
happen inside the capops machinery because the need for an action are
not coupled to a capability operation.

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>

IRQ: Now using (again) a table of ep caps for dispatch and a bitmap for
allocations.

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

IRQ: added irq source capability and make the inthandler setup use it

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

IRQ: added IRQVector cap

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

Put KCB syscalls in platform independent kernel source.

Integrating coreboot for 32bit.

Refactor kcb add/remove function in kernel.

Fixed deferred events when migrating onto running cpu driver.

Added code to make deferred events fairly accurate and added shutdown to update operation in cpuboot.

Assert that kcb is set.

Added current core_id so we can properly reroute interrupts after moving kcb.

Fixed x86boot 'take' operation implementation.

Added moving kcb off shared cpu driver, currently crashes in newly started kernel on target core.

Added home kcb which is used for interrupt handling.

Added invocation to remove kcb from kcb scheduling ring.

Added switching of kcb on timer interrupt and added invocation to add kcb to ring.

Renamed kernel global kcb to kcb_current. Fixed wakeup code to directly reference kcb->wakeup_queue_head.

Fix some code, able to do benchmarks.

Added code to make it possible to switch between kernels with different schedulers.

This currently works by having the 'up' argument to x86boot optionally have
the form 'up=<scheduler strategy>', e.g. 'up=rbed'. Currently you need to
build each version of the cpu driver by hand, and copy the resulting binary to
'cpu_<scheduler strategy>'. You also need to add multiboot modules for each
of these (module /x86_64/sbin/cpu_rbed nospawn).

Removed lastdisp and kernel_now from kcb; call scheduler_reset_time() on restore instead.

Moved irq_dispatch in kcb again.

Added more scheduler state to kcb.

Added kernel_now to kcb and fixed restoring of scheduler state.

struct cte include for kcb.

Implemented mdb restore iff valid kcb available. Moved scheduling to always keep kcb and local vars in sync.

Made mdb update kcb if compiled in 'kernel mode' and adapted mdb tests.

Construct kernel control blocks in x86boot.

Store them in the coredata struct that is passed along to the new kernel.
We should really move all coredata state in the kcb and pass the kcb
to the kernel instead of the other way around.

Remove defines.

Moving IRQ state in KCB.

Added capability type and struct definition for kcb. Modelled after dispatcher & struct dcb.

This doesn't do anything yet. It's just the framework for moving all the state
of the kernel that isn't in capabilities yet into one. This is mostly for
persisting state over core reboots at this time (c.f. meeting 2013-12-16).