x86_64: make all targets compile

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

Turn serial driver into module and fix userspace GIC

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

libbarrelfish: Add comment why we still need KCB identify

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

libbarrelfish: reimplement deviceid_identify using cap_identify.

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

libbarrelfish: implement vnode_identify using cap_identify

Signed-off-by: Simon Gerber <simon.gerber@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>

libbarrelfish: endpoints: refactor to make EP management invocations unnecessary.

This commit implements endpoint_identify using cap_direct_identify and
endpoint_set_iftype using cap_mint.

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

armv7: make compile

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

kernel,libbarrelfish: implement general purpose direct cap_identify

This is required when an application wishes to map its own page tables read
only, as we previously did not have a sensible general purpose way of figuring
out the type of a given capref without using a debug invocation.

Realistically, direct cap_identify should be modified to redact potentially
sensitive information which we want to withhold from applications.

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

kernel,x86_64: allow dump of page tables around provided virtual address

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

kernel: add invocation to set iftype of endpoint (for x86_64)

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

driverkit: better handling of node ids

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

caps: implementing support to identify and map endpoint caps

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

devidcaps: pass all arguemnts to the kernel to fill the cap

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

caps: change information encoded in the device cap

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

caps: adding invocation handlers for the new captypes to the cpudriver

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

Move some invocations into libbarrelfish.

Signed-off-by: Gerd Zellweger <mail@gerdzellweger.com>

kernel,libbf: implement noop invocation on Objtype_RAM

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

kernel,libbf: implement noop invocation on Objtype_RAM

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

Make debug_my_cspace work with new CSpace layout

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

IRQ: Add range to IRQSrc cap

To prepare for MSIx, we change the IRQSrc cap so that it does not
represent a single interrupt source but a whole range. This commit
changes it to a range.

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

T258: fix invoke_dispatcher() assertions to work for making guest domain runnable

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

T258: Make sure that invoke_vnode_identify() can only be called on caps with root = CPTR_ROOTCN

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

T266: Resizing root cnode enabled for libmm slot allocator

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

invocations: fix argument mess for invoke_cnode_create

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

libbarrelfish: move simple capability invocations into arch-independent header file

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