armv8: Remove duplicate armv8 qemu target

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

imx8x: Fix description of imx8x platform

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

imx8x: Fix description of usb boot target

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

imx8: skeletton for enet driver

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

imx8x: uSDHC driver

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

armv8: implement user space irq routing + lpuart interrupt

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

imx8x: Fixup serial driver

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

imx8: skeletton for enet driver

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

update copyright notice

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

imx8x: Add boot target

make usbboot_imx8x will build and boot

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

Strip down imx8x image to boot/CPU driver for now

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

Add imx8x platform

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

kaluga: fixing mlx4 driver starting

Seems at some point we broke mlx4 startup since it is a special case.
The reworked version uses the same code path as other drivers, but does
additional things for the mlx4 driver

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

armv8: Only 3G RAM for U-Boot on QEMU

U-Boot on QEMU only seems to support 3G of system memory even though the
README for ARM doesn't say so
https://github.com/ARM-software/u-boot/blob/master/doc/README.x86

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

armv8: Fix dependencies for building images

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

Added boot target and qemu support for U-Boot on ARMv8

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

gitlab-ci: adding basic compilation tests for x86_64, ARMv8 and ARMv7

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

sockeye: Import barebones.soc file and add hake rule

Boot the barebones platform with "make ARM_FastModels_Barebones"

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

import Sven's barebones system

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

integration of ARM FastModels into Hake

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>

armv8: fix boot into qemu with make target

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

armv7: Enable serial driver on pandaboard

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

turn serial pc16550d into module

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

Turn serial driver into module and fix userspace GIC

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

armv7: Move distributor driver to userspace

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

harness: add memtest variants which link against all available library os implementations.

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

armv8: EFI Barrelfish loader

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

x86_64,armv8: fix unified pmap walking and pmap_array implementation for aarch64.

This commit fixes the pmap walking which was factored out in ae92c192c.

This commit additionally provides an implementation of array-based pmaps
for aarch64.

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

T383: add test which checks that vnode_inherit cannot create ptes which survive cap_delete() on mapped cap

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

Add cowbench to platforms/Hakefile

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

HPET Driver which now can configure FSB interrupts and receive them

Signed-off-by: Rana Afifi <afrana@student-ethz.ch>

platforms: adding the common modules to the K1OM target

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

Platforms: removed sfxge from platforms file

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

flounder: adding test domain for endpoint caps

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

e10k: convert driver to new framework

Still needs some debugging but compiles for now

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

iommu: adding module to the list of modules to be built

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

updating memory primitives benchmark

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

Update platforms/Hakefile

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

Update platforms/Hakefile

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

platforms/Hakefile: remove uncommited example programs from list

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

platforms/Hakefile: remove uncommited example programs from list

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

platforms/Hakefile: add section with programs from usr/examples

Programs that currently do not compile are commented out in
platforms/Hakefile.

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

platforms/Hakefile: add section with programs from usr/examples

Programs that currently do not compile are commented out in
platforms/Hakefile.

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

platforms/Hakefile: add e1000_net_sockets_server

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

platforms/Hakefile: add e1000_net_sockets_server

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

distops_bench: add runner for single-core benchmarks to allow them to be run sequentially on a number of cores

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

distops_bench: add runner for single-core benchmarks to allow them to be run sequentially on a number of cores

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

distops_bench: Implement single-core variant of revoke_no_remote

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

distops_bench: Implement single-core variant of revoke_no_remote

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

distops_bench: add noop invocation benchmark

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

distops_bench: add noop invocation benchmark

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

distops_bench: add second variation of delete cnode benchmark

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

distops_bench: add second variation of delete cnode benchmark

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

distops_bench: delete cnode with contents but contents have no remote relations

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

distops_bench: delete cnode with contents but contents have no remote relations

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

distops_bench: add retype with remote non-overlapping descendants

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

distops_bench: add retype with remote non-overlapping descendants

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

bench_distops: add local retype benchmarks

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

bench_distops: add local retype benchmarks

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

distops_bench: add benchmark for revoking a remote copy

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

distops_bench: add benchmark for revoking a remote copy

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

distops_bench: revoke with remote copies

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

distops_bench: revoke with remote copies

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

bench_distops: add revoke() without remote copies benchmark

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

bench_distops: add revoke() without remote copies benchmark

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

distops_bench: Add delete last w/ remote copies benchmark

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

distops_bench: Add delete last w/ remote copies benchmark

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

More distops benchmarking

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

More distops benchmarking

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

distops benchmark framework, and initial bits of delete benchmark

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

distops benchmark framework, and initial bits of delete benchmark

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

armv8: separating the fvp and qemu targets, adding QEMU/aarch64 to harness

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

Pass IRQ caps to e1k devif backend, add PCI int ctrl

We add a dedicated legacy PCI interrupt controller, that will
activate interrupts in the PCI conf space. It works analogous
to the MSIx case then. The controller driver is not yet implemented.

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

e1000 irqtest run in driverdomain, newstyle PCI startup

Kaluga starts PCI drivers in a newstyle driver domain. With this commit,
interrupts capabilities are passed to the init function. PCI bars and EP
not yet.

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

e1000 irqtest run in driverdomain, newstyle PCI startup

Kaluga starts PCI drivers in a newstyle driver domain. With this commit,
interrupts capabilities are passed to the init function. PCI bars and EP
not yet.

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

platforms/Hakefile: add section with programs from usr/examples

Programs that currently do not compile are commented out in
platforms/Hakefile.

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

bfscope: Implement variant that dumps traces over NFS

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

armv7,armv8: Add process manager to targets and menu.lsts

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

kaluga: starting net_socket server for each of the cards.

For each of driver also start a net_socket server that manages the
default queue for a NIC for basic networking. e1000 does not have
multiple queues so there is no need to start the driver.

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

First outline of a process management service server.

Right now, the server only has an "alloc_ep" call which the monitor will be
able to use to request connection for spawnd (for all monitors, all spawnds).
The server is not yet run by the monitor, but that should happen somewhere
along the initialization steps on the BSP core.

Signed-off-by: Razvan Damachi <razvan.damachi@gmail.com>

armv8: fixing menu.lst files and adding bootdriver to the platforms

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

Removing ssh

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

Fix platform file.

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

Kaluga modifications to start domain.

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

k1om: some fix-ups

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

platforms: disabling sshd

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

Convert mmchs to new driver interface.

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

Check-in older changes from FDIF conversion.

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

Added template for driver domain and driver module.

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

Added a test to check the SKB capability storage functionality.

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

platforms hakefile fixed trailing comma

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

libnet: implemented adding/removing hardware filters from solarflare card

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

platforms: take care of copying the new menu.lst

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

Platforms: drop ARMv8 GEM5 targets

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

Platforms: dropp x86_32 targets

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

ARMv8: build bootdriver and load boot+cpu driver in coreboot

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

coreboot: reorganize into arch directory, starting with ARMv8 support

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

platforms: take care of copying the new menu.lst

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

Platforms: drop ARMv8 GEM5 targets

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

Platforms: dropp x86_32 targets

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

Non-working checkpoint

adding simple TFTP read test

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

armv8: removing GEM5 platform

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

armv8: adding dependencies to the platform hakefile renaming platforms

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

Added module dependencies for x86_64 qemu boot targets.
Removed old x86_32 boot targets.

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

armv8: renaming menu.lst using the a57v suffix

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

vnode_map: add test with pte_count larger than fits in source Frame

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

ARMv7: bit.LITTLE boot target

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

ARMv7: FVP_A5x1 (A9 image) & FVP_A7x1 (A15 image).

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

ARMv7: A15/A17 FVPs. Don't quite work yet.

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

ARMv7: Added new FVP boot targets.

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

ARMv7: 4 core A15 in QEMU

Cores boot, but we seem to have a UMP failure.

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

ARMv7: Single-core A15 now uses SKB

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

ARMv7: Coreboot paramaters through the SKB

For ARMv7 platforms, this patch modifies Kaluga and Coreboot to discover the
available CPUs, and their boot parameters (e.g. CPU driver binary) via the
SKB, where this data is preseeded, as we can't easily probe a lot of this
without ACPI.

This *should* let us implement Coreboot pretty easily for A15 and A17.

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

T275: platforms/Hakefile: add delete and revoke distops tests

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

ARMv7: Changes to support coreboot on ARM

This mostly involves simplifying the task of relocating the CPU driver binary.

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

harness: armv7 machines: deduplicate code and grab mmap menu.lst entries from <src>/hake/menu.lst.armv7_<plat>

Also rename pandaboard targets to omap44xx for consistency in naming and fix
local pandaboard machine to run make usbboot_panda.

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

ARMv7: Add SKB records for ARMv7 cores in Kaluga.

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

ARMv7: Added arch-specific platform info.

Certain things, such as the number of CPUs, can only be probed easily (or at
all), in the kernel.

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

T275: T266: platforms/Hakefile: Add test_remote_retype and test_rootcn_resize

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

ARMv7: Rewrote serial drivers on ARM.

They're now fairly well compartmentalised on both ARM and x86, and can start
automatically from Kaluga. There's also a 'kernel' serial driver, which uses
the syscall interface to read and write on the kernel console. This avoids
having user level and kernel code racing on access to the UART. Fish works
(minus line editing) on all Versatile Express platforms.

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

ARMv7: adding generic modules to build targets on ARMv7

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

ARMv8: adding PCI domain to the build target of ARMv8 QEMU

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

ARMv7: Generate GDB scripts

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

Adding hagfish location to ARMv8 debug qemu target

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

hake, platforms: include armv8_qemu menu list, build platform correctly.

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

Finish merge with current master.

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

Build stripped binaries, with debug symbols in name.debug

This cuts the size of binaries by 4x-5x, and the size of the Pandaboard boot
image from ~86MB to 16MB, which loads a *lot* faster.

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

ARMv7: Made some improvements to usbboot.

Customised a bit for Barrelfish now, and supports loading from an ELF without
specifying an explicit base address. The existing code was also chopping the
last few hundred bytes off of every image it loaded.

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

[platforms] adding ARMv8 qemu targetse to platforms/Hakefile

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

ARMv7: USB boot target for Pandaboard

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

ARMv7: Unified image rules, and added .bin target

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

ZYNQ: Kernel boots as far as trying to spawn init.

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

ARMv7: All existing platforms boot again

We're going to have to do something about usbboot though, it *really* wants to
jump at the beginning of the loaded image+0x1000, which is really hard to
achieve without buggering up alignments.

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

ARMv7: New-style platform rule for a9ve

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

ARMv7: QEmu target for Zynq

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

Zynq: initial image builds.

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

drivers/serial: Rename gem5 driver to serial_gem5. Include serial_tmas.

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>

ARMv7: Rationalised coreboot structures.

Put the Multiboot header in the coredata struct, and allocate both in and the
globals (which now contains only the printf spinlock) in the BSP kernel's BSS.
We no longer rely on magic addresses.

Doing so exposed a latent bug, where code using the various alloc_phys()
functions were assuming that the output would be page-aligned, when that
wasn't guaranteed. Added alloc_phys_aligned to all relevant prototypes.

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

T264: Add simple creation tests for L1/L2 CNodes

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

ARMv7: qemu harness definition

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

ARMv7: Added QEmu boot target

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

ARMv7: Renamed _gem5 -> a15ve, _fvp -> a9ve

The CPU drivers are actually generic, and the a15 one will run under QEmu

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

platforms/Hakefile: generate rule to copy arm_fvp menu.lst to build tree

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

platforms/Hakefile: copy menu.lst to build tree for all molly images

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

Renamed build_pandaboard_image.sh

It's used to build *all* molly images.

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

platforms: Update TMAS definition.

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

[chips] remove chips domain and interface

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

Added A9 FVP simulation targets

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

TMAS: Build mem_serv and monitor.

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

platforms: armv7: use menu.lst.<platform> in build directory when building molly images

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

ARMv7 FVP needed its own menu.lst

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

Rationalised the ARM Platform code.

We now have separate targets for the GEM5 VE and FVP VE, as the GEM5 version
actually simulates an A15, and has a few quirks. The FVP VE and Pandaboard
targets share most of their code. Thus we've got three ARMv7-A targets now,
and it should be easy to add more, as soon as we've got the simulators.

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

Missing tool merge

TMAS: Add as platform.

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

Refactored ARMv7-A code.
Cleaner startup process.
Cleaner cross-platform portability (platform.h).
Removed ARMv5.
Removed ARMv7-m
Removed XScale
Changed kernel device paging interface and fixed bugs.

Signed-off-by: Timothy Roscoe <troscoe@inf.ethz.ch>

making K1OM_Full build again

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

Ditch FDT, and map kernel device memory.

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

Boot debug for BF in DS-5

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

A platform for ARM FVP

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

Preliminary ARM Foundation Model port.

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

T191: x86_64: refactor retype2 back to retype

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

T191: write multi retype test and add test_retype2 in platforms/Hakefile

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

eclipseclp + toosl: Rename eclipse_kernel_ramfs to eclipseclp_ramfs.

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

platforms: Update copyright notice.

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

eclipseclp: update Hakefiles

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

Removed Heterogeneous PandaBoard support

Signed-off-by: Timothy Roscoe <troscoe@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>

platforms: Hakefile: append modules_common to modules_x86_32

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

T187: improve VM kernel interface tests + add harness test

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

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

Not tested.

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

T24: remove remaining SCC code

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

platforms: add VM tests to Hakefile

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

platforms/Hakefile: Add tests_common to tests_x86

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

ARMv5 doesn't actually use romfs_size.h

n.b. If we want to resurrect XScale, we'll need to reimplement proper
generation of the romfs size information, preferably with a binary patch
to avoid compiling everything twice.

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

Removed ARM11MP - unsupported and non-functional.

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

XScale builds

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

armv7-m (heteropanda) builds.

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

New-style Xeon Phi build

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

Include modules_common in x86 builds

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

Generic modules shouldn't be listed under <arch>/

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

Make build_pandaboard_image.sh use global ARM_GCC

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

Simplification of symbolic_targets.mk, addition of platforms and boots to Hake.