armv8: Port irq cap invocations

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

armv8: Fix idcap_identify syscall

Signed-off-by: Aya Kayal <akayal@student.ethz.ch>

armv8: expect the right number of arguments in the modify mapping invocation

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

armv8: vnode invocation modify flags takes 4 arguments

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

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

systime: adding a relative timeout function

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

kernel,libbarrelfish: Remove Frame identify and Vnode identify invocation handlers and commands

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>

kernel: armv8: add missing invocation handler for KernelCmd_Is_retypeable

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

libbf: use cap_direct_identify for frame_identify and co and replace calls to debug_cap_identify where appropriate

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

armv8: adding a missing LMP_FLAG_IDENTIFY flag to invocations

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

kernel: adding invoke_endpoint syscalls to armv7 + armv8

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

armv7: make armv7 compile again on VF branch

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

caps: adding endpoint cap type for UMP endpoints

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: adding invocation handlers for the new captypes to the cpudriver

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

arm: adding gic v3

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

armv8,psci: use hvc/smc according to the ACPI

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

armv8: adding a missing debug syscall

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

ARMv8: use timer_* functions in debug syscalls

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

whitespace change: tabs -> spaces

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

ARM: unifying coreboot on ARMv7 and ARMv8

Coreboot:
* use of hwid_t instead of coreid_t to ensure enough size
* adding context id parameter to the start function

ARMv8:
* removing PSCI debug syscall and use ipi_cap instead
* implementaton of platform specific call functions

ARMv7:
* adapting call sites to deal with new argument
* adaption of platform boot function

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

ARMv8: remove PSCI_ON debug syscall

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

ARMv8: setting global pointer in coredata struct

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

ARMv8: setting l0page tables for when doing PSCI boot

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

ARMv8: adding debug syscall to get coreboot test working

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

kernel/armv8: Add RAM::frameIdentify invocation implementation

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

kernel/armv8: syscall.c depends on systime.h

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

systime: adding support for A15 (broken for the moment)

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

Make debug_my_cspace work with new CSpace layout

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

armv8: fixing bugs in the syscall handlers to match invocations (T300)

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

T274: armv8: update monitor invocations and cleanup changes

Closes T274.

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

T274: armv8: update cspace invocations

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

T258: Delete GPT cspace functionality and rename new functions

This commit deletes all the old GPT cnode code, and renames the new two-level
functions to the "old" names (e.g. caps_lookup_slot() is now a two-level
cspace function).

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

kernel/aarch64: Replace rdtsc by dummy.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

Incremental updates to make Barrelfish work on TMAS with recent ARM changes.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

T255: kernel cap invocation and monitor RPC to discover architecture and platform.

Closes T255.

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

kernel./armv8: Dummy implementation for DEBUG_HARDWARE_TIMER_READ and DEBUG_HARDWARE_TIMER_HERTZ_READ

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

aarch64: Use VNode_AARCH64_l0 as initial page table level.

Signed-off-by: Moritz Hoffmann <moritz.hoffmann@hpe.com>

Preliminary ARM Foundation Model port.

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

T191: aarch64: fix monitor invoke_retype

Make invocation arguments match arguments for non-monitor invoke_retype and
append monitor specific argument at end rather than start.

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

T191: aarch64: implement invocations and related changes for range capabilities

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

T187: ARMv8: do not use syscall10 for invoke_vnode_map

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

T187: Move aarch64 code to mapping caps

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

More ARMv8 bugfixes. Boots now.

I wasn't resetting the kernel stack pointer correctly on resume, and was
loading syscall args from the wrong place (the stack) for IPC.

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

ARMv8-GEM5 builds again, with the new exception vectors.

Not tested.

Signed-off-by: David Cock <david.cock@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>