armv8: Initialize systime_frequency for init process

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

armv8: Cleanup kernel messages

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

armv8: Kernel expects core data also on BSP

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

armv8: Improve handling of multiboot info

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

armv8: Fix naming of multiboot functions

Signed-off-by: Daniel Schwyn <daniel.schwyn@inf.ethz.ch>

replacing umlaute and fixing address in headers Haldeneggsteig -> Universitaetsstrasse

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

dispatcher: remove DISPATCHER_FRAME_BITS, and redefine DISPATCHER_FRAME_SIZE as 512kB.

This is necessary with the new contents struct dispatcher_<arch> when
using array-based pmap on larger machines, as we otherwise run out of
room for LMP channel receive buffers in the SKB.

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

arms: unifying interrupts, timers and platform data

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

armv8: generalizing the interrupt controller

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

armv8: fixing the Multiboot2 structure

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

arm: adding gic v3

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

ARMv8: Make GIC400 work. Timer interrupts work.

GIC400 is in fact a GICv2, files need to be renamed. It is found
for instance on the X-Gene Mustang.

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

ARMv8: adding missing include to timers.h

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

ARMv8: only use ACPI 2.0+ and not APCI 1.0 if set

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

ARMv8: update fields of arm_core_data

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

ARMv8: APP core bootup code, passing pointer to kernel_startup()

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

armv8: remove memcpy for old acpi pointer table in kernel.

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

ARMv8: initialize timers early

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

kernel/armv8: Move GIC initialization to platform-specific code

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

kernel/armv8: Fix timer initialization to properly initialize kernel state

Initialize systime_frequency and kernel_timeslice according to timer frequency.
Previously, the frequency was not initialized, confusing the scheduler.

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

kernel/armv8: More timer implementation. Also align with systime-changes

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

kernel/armv8: Rename armv8-specific INIT_* defines to ARMV8_INIT_*

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

kernel/armv8: rename arm_core_data struct to armv8_core_data

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

kernel: Factor common constants for init on armv7 and armv8

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

kernel: Use common app_alloc_phys and bsp_alloc_phys on all archs

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

kernel/armv8: Cleanup debug output

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

aarch64: Make generic timer initialization platform independent

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

armv8: pass over startup_arch + additionts to init.h and platform.h

also replacing tabs with spaces in startup_arch.c

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

ARMv8: enabling access to performance monitor from userspace

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>

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/armv8: Do not create iocap on ARMv8.

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

kernel/armv8: Remove unused code. Create caps for gaps in mmap.

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

kernel/armv8: Remove debug print.

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

ARMv8: Enabling access to counters from userspace.

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

Finish merge with current master.

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

[ARMv8] temporarly disable memory region coalescing in create_phys_caps

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

[ARMv8] adding locations of the ACPI tables to bootinfo structure

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

kernel/tmas: Correctly create caps for all memory minos kernel allocated memory.

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>

aarch64/tmas: No PIT available yet, disable initialization.

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

armv8/startup_arch: No need to context switch after building page tables.

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

kernel/armv8 (startup): refactor module loading and caps creation

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

paging ARMv8: rename to VMSAv8_64 as per documentation. Unify page table handling.

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

multiboot2: Change ARMv8 loading to multiboot2.

This might still require some rework as there are slight
dependencies on EFI. It would be better to use the multiboot2
mmap or something custom instead of the raw mmap from EFI.

Signed-off-by: Moritz Hoffmann <moritz@dhcp-16-111-6-143.labs.hpecorp.net>

T238: change kernel to use new vnode_objsize() when appropriate

Closes T238.

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>

New ARMv8 vectors mostly work.

Still crashing on MDB code - something's corrupted.

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>