armv8: Start with all interrupts disabled

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

armv8: Stop debugging imx8x in boot driver

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

Fix platform support for imx8x

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

Add serial support for imx8x in boot driver

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

armv8: Disable debug prints in boot driver

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

armv8: Add debug output for boot driver on QEMU

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

armv8: Kernel expects core data also on BSP

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>

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>

libc: removing newlib, adding BSD libc
posixcompat: moving gettimeofday to libc
harness: adding a simple math test
lwip, lwip2: moving includes to /include, compiling with BSD headers

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

armv8: fixing misaligned page-table in bootdriver

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

ARMv8: Use generated armv8 mackerel files

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

ARMv8: use mackerel device function for setting timer control

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

ARMv8: preparing bootdriver for parking protocol and adding basic debug

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

ARMv8: adding generic boot driver target

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