barrelfish
4 years agoharness: simulator tests: gracefully handle EOF on read from sub-process when telnet...
Simon Gerber [Fri, 7 Oct 2016 13:58:48 +0000]
harness: simulator tests: gracefully handle EOF on read from sub-process when telnet socket is closed due to simulator exiting

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

4 years agoarmv8: adding general purpose registers to the documentation
Reto Achermann [Fri, 7 Oct 2016 12:41:20 +0000]
armv8: adding general purpose registers to the documentation

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

4 years agoarmv8: replacing tabs with spaces
Reto Achermann [Thu, 6 Oct 2016 13:22:25 +0000]
armv8: replacing tabs with spaces

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

4 years agofixup! flounder: replace tabs with spaces to squash haskell warnings
Reto Achermann [Thu, 6 Oct 2016 09:09:49 +0000]
fixup! flounder: replace tabs with spaces to squash haskell warnings

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

4 years agokernel: Adding proper target for a57v cpu
Reto Achermann [Thu, 6 Oct 2016 08:59:27 +0000]
kernel: Adding proper target for a57v cpu

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

4 years agoarmv8: pass over startup_arch + additionts to init.h and platform.h
Reto Achermann [Thu, 6 Oct 2016 08:58:08 +0000]
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>

4 years agoarmv8: adding function to find cmdline from multiboot
Reto Achermann [Thu, 6 Oct 2016 08:52:02 +0000]
armv8: adding function to find cmdline from multiboot

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

4 years agoarmv8: update linker script to reflect changes in efi-boot
Reto Achermann [Thu, 6 Oct 2016 08:51:15 +0000]
armv8: update linker script to reflect changes in efi-boot

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

4 years agoarmv8/hake: using new command line parameter format
Reto Achermann [Thu, 6 Oct 2016 08:47:28 +0000]
armv8/hake: using new command line parameter format

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

4 years agoarmv8: using arm generic misc.c
Reto Achermann [Thu, 6 Oct 2016 08:44:30 +0000]
armv8: using arm generic misc.c

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

4 years agoarmv8: introducing platformfiles for A57 and generic ARM virtual machine (qemu)
Reto Achermann [Thu, 6 Oct 2016 08:43:58 +0000]
armv8: introducing platformfiles for A57 and generic ARM virtual machine (qemu)

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

4 years agoarmv8/apm88xxxx: removing directory and moving functionality to plat_* files.
Reto Achermann [Thu, 6 Oct 2016 08:40:40 +0000]
armv8/apm88xxxx: removing directory and moving functionality to plat_* files.

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

4 years agoarmv8: renaming wrongly named hash-define
Reto Achermann [Thu, 6 Oct 2016 08:27:54 +0000]
armv8: renaming wrongly named hash-define

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

4 years agoarmv8: adding arch_info struct for armv8
Reto Achermann [Thu, 6 Oct 2016 08:26:53 +0000]
armv8: adding arch_info struct for armv8

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

4 years agonkm: adding type for ARMv8
Reto Achermann [Wed, 5 Oct 2016 13:44:17 +0000]
nkm: adding type for ARMv8

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

4 years agoarmv8: moving of efi boot code into arm directory
Reto Achermann [Wed, 5 Oct 2016 11:44:12 +0000]
armv8: moving of efi boot code into arm directory

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

4 years agokernel: stdlib - adding wrapper tu support long long integer parsing
Reto Achermann [Wed, 5 Oct 2016 11:24:59 +0000]
kernel: stdlib - adding wrapper tu support long long integer parsing

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

4 years agoarm: renaming kludges to gdb_arch and separaring common part
Reto Achermann [Wed, 5 Oct 2016 11:23:41 +0000]
arm: renaming kludges to gdb_arch and separaring common part

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

4 years agogetopt: adding support for long
Reto Achermann [Tue, 4 Oct 2016 12:58:19 +0000]
getopt: adding support for long

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

4 years agoqemu/armv8: adding clarifications and tabs->spaces
Reto Achermann [Tue, 4 Oct 2016 08:48:21 +0000]
qemu/armv8: adding clarifications and tabs->spaces

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

4 years agoarmv8: renaming menu.lst using the a57v suffix
Reto Achermann [Tue, 4 Oct 2016 08:47:34 +0000]
armv8: renaming menu.lst using the a57v suffix

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

4 years agoflounder: replace tabs with spaces to squash haskell warnings
Reto Achermann [Tue, 4 Oct 2016 07:45:37 +0000]
flounder: replace tabs with spaces to squash haskell warnings

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

4 years agokernel/armv8: fix is_root_pt to return true when type is L0.
Moritz Hoffmann [Thu, 25 Aug 2016 16:21:12 +0000]
kernel/armv8: fix is_root_pt to return true when type is L0.

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

4 years agokernel/paging: Correct compile_vaddr for AARCH64.
Moritz Hoffmann [Wed, 3 Aug 2016 01:43:54 +0000]
kernel/paging: Correct compile_vaddr for AARCH64.

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

4 years agoARMv8: don't define PREFER_SIZE_OVER_SPEED as compiler flag
Reto Achermann [Thu, 4 Aug 2016 15:25:57 +0000]
ARMv8: don't define PREFER_SIZE_OVER_SPEED as compiler flag

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

4 years agoacpi: fixing typo in printf statememt, adding more debug statements
Reto Achermann [Thu, 4 Aug 2016 15:24:12 +0000]
acpi: fixing typo in printf statememt, adding more debug statements

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

4 years agoARMv8: making Barrelfish boot on the X-Gene
Reto Achermann [Thu, 4 Aug 2016 15:18:15 +0000]
ARMv8: making Barrelfish boot on the X-Gene

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

4 years agoARMv8: simplify multiboot2 find header
Reto Achermann [Thu, 4 Aug 2016 15:16:49 +0000]
ARMv8: simplify multiboot2 find header

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

4 years agoARMv8: enabling access to performance monitor from userspace
Reto Achermann [Thu, 4 Aug 2016 15:15:08 +0000]
ARMv8: enabling access to performance monitor from userspace

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

4 years agoARMv8: disable alignment checking to allow unaligned accesses
Reto Achermann [Thu, 4 Aug 2016 15:11:53 +0000]
ARMv8: disable alignment checking to allow unaligned accesses

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

4 years agohwrecords: do not use hex printing in processor record
Reto Achermann [Thu, 4 Aug 2016 15:06:34 +0000]
hwrecords: do not use hex printing in processor record

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

4 years agoARMv8: passing stack parameter correctly to vminit
Reto Achermann [Tue, 2 Aug 2016 16:34:32 +0000]
ARMv8: passing stack parameter correctly to vminit

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

4 years agoacpia: enable ACPI_MISALIGNMENT_NOT_SUPPORTED flag for ARMv8
Reto Achermann [Tue, 2 Aug 2016 16:29:28 +0000]
acpia: enable ACPI_MISALIGNMENT_NOT_SUPPORTED flag for ARMv8

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

4 years agokernel/armv8: Set page table bits correctly to handle uncached memory.
Moritz Hoffmann [Wed, 27 Jul 2016 23:24:03 +0000]
kernel/armv8: Set page table bits correctly to handle uncached memory.

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

4 years agoacpi: Correct get_handle implementation.
Moritz Hoffmann [Tue, 26 Jul 2016 23:29:55 +0000]
acpi: Correct get_handle implementation.

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

4 years agoMultihop: Replace tab by spaces. Space-only change to silence Haskell warnings.
Moritz Hoffmann [Wed, 5 Oct 2016 13:54:28 +0000]
Multihop: Replace tab by spaces. Space-only change to silence Haskell warnings.

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

4 years agoT260: Implement
Moritz Hoffmann [Wed, 5 Oct 2016 12:52:21 +0000]
T260: Implement

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

4 years agogmp: use provided config.status instead of running configure
Moritz Hoffmann [Mon, 3 Oct 2016 08:04:32 +0000]
gmp: use provided config.status instead of running configure

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

4 years agoRevert "libgmp: remove dependency to libbarrelfish"
Moritz Hoffmann [Tue, 4 Oct 2016 14:03:44 +0000]
Revert "libgmp: remove dependency to libbarrelfish"

This reverts commit 23d7bf5f4f16d13279127b3711ecc6bf279598ad.

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

4 years agoharness: compiler-rt: comment out known-to-fail test cases
Simon Gerber [Tue, 4 Oct 2016 15:05:40 +0000]
harness: compiler-rt: comment out known-to-fail test cases

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

4 years agoif/monitor.if: multihop_message: increase payload buffer size to 2048
Simon Gerber [Tue, 4 Oct 2016 14:36:48 +0000]
if/monitor.if: multihop_message: increase payload buffer size to 2048

Closes T278.

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

4 years agoharness: Exit test when we encounter a line starting with "Aborted"
Simon Gerber [Tue, 4 Oct 2016 14:36:20 +0000]
harness: Exit test when we encounter a line starting with "Aborted"

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

4 years agonkm tests: x86-64 invalid mappings: fix case where we cannot allocate 1GB frame
Simon Gerber [Tue, 4 Oct 2016 09:15:24 +0000]
nkm tests: x86-64 invalid mappings: fix case where we cannot allocate 1GB frame

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

4 years agolibbarrelfish: arm pmap: fix flag passing in modify_flags
Simon Gerber [Tue, 4 Oct 2016 07:40:05 +0000]
libbarrelfish: arm pmap: fix flag passing in modify_flags

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

4 years agokernel: dump_ptables: armv7: print rw flags for small pages
Simon Gerber [Tue, 4 Oct 2016 07:39:23 +0000]
kernel: dump_ptables: armv7: print rw flags for small pages

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

4 years agokernel: arm: fix modify_flags invocation
Simon Gerber [Tue, 4 Oct 2016 07:38:39 +0000]
kernel: arm: fix modify_flags invocation

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

4 years agonkmtest: make arm version compile and only check fault type on x86
Simon Gerber [Tue, 4 Oct 2016 07:37:48 +0000]
nkmtest: make arm version compile and only check fault type on x86

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

4 years agoharness: Add test for vnode_map() with too many ptes requested
Simon Gerber [Mon, 3 Oct 2016 15:25:20 +0000]
harness: Add test for vnode_map() with too many ptes requested

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

4 years agoarmv7: paging: proper check if `pte_count` pages fit inside source frame starting...
Simon Gerber [Mon, 3 Oct 2016 15:14:14 +0000]
armv7: paging: proper check if `pte_count` pages fit inside source frame starting at `offset`

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

4 years agovnode_map: add test with pte_count larger than fits in source Frame
Simon Gerber [Mon, 3 Oct 2016 15:13:28 +0000]
vnode_map: add test with pte_count larger than fits in source Frame

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

4 years agoT291: kernel: include bitmacros.h in kernel.h
Simon Gerber [Wed, 28 Sep 2016 09:58:21 +0000]
T291: kernel: include bitmacros.h in kernel.h

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

4 years agoT291: create_mapping_cap:Properly check that offsets into mapped frames are <= 4TB.
Simon Gerber [Wed, 28 Sep 2016 09:03:29 +0000]
T291:  create_mapping_cap:Properly check that offsets into mapped frames are <= 4TB.

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

4 years agoT291: add implementation for armv7/8
Moritz Hoffmann [Wed, 28 Sep 2016 08:32:01 +0000]
T291: add implementation for armv7/8

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

4 years agoT291: Implement offset in mapping capabilities.
Moritz Hoffmann [Tue, 27 Sep 2016 14:17:31 +0000]
T291: Implement offset in mapping capabilities.

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

4 years agobulk_transfer: Improve code style.
Moritz Hoffmann [Mon, 26 Sep 2016 14:50:44 +0000]
bulk_transfer: Improve code style.

GCC wasn't happy about indentation, now it's aligned to the
Barrelfish code style.

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

4 years agonet_device_manager: Fix invalid (and always true) comparison.
Moritz Hoffmann [Mon, 26 Sep 2016 14:49:40 +0000]
net_device_manager: Fix invalid (and always true) comparison.

Not tested, but seems to be in line of what was intended.

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

4 years agopcre: Add #ifdef SUPPORT_UCP to resolve unused variable warnings.
Moritz Hoffmann [Mon, 26 Sep 2016 14:48:59 +0000]
pcre: Add #ifdef SUPPORT_UCP to resolve unused variable warnings.

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

4 years agobench/ahci: Add braces to if to fix code ambiguity. Wasn't really a bug. but hey...
Moritz Hoffmann [Mon, 26 Sep 2016 14:48:12 +0000]
bench/ahci: Add braces to if to fix code ambiguity. Wasn't really a bug. but hey...

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

4 years agoacpica: Include acgcc.h on barrelfish.
Moritz Hoffmann [Mon, 26 Sep 2016 14:47:15 +0000]
acpica: Include acgcc.h on barrelfish.

Fixes some unused static const warnings.

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

4 years agoharness: fix armv7 machines to work with coreboot enabled platforms
Simon Gerber [Thu, 22 Sep 2016 12:14:12 +0000]
harness: fix armv7 machines to work with coreboot enabled platforms

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

4 years agoUpdate README to reflect new tools
Simon Gerber [Thu, 22 Sep 2016 09:48:10 +0000]
Update README to reflect new tools

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

4 years agoMerge branch 'toolchain1604'.
Simon Gerber [Thu, 22 Sep 2016 09:25:39 +0000]
Merge branch 'toolchain1604'.

This pulls in the changes that are needed to build and test Barrelfish on
Ubuntu 16.04.

Closes T211.

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

4 years agokaluga: start_cpu: inheritcn_delete: remove trigger once it is called
Simon Gerber [Wed, 21 Sep 2016 16:42:59 +0000]
kaluga: start_cpu: inheritcn_delete: remove trigger once it is called

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

4 years agooctopus client: return trigger id to caller in oct_trigger_existing_and_watch()
Simon Gerber [Wed, 21 Sep 2016 16:42:25 +0000]
octopus client: return trigger id to caller in oct_trigger_existing_and_watch()

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

4 years agokaluga: delete kaluga's copy of inherit cnode after boot driver has been spawned
Simon Gerber [Wed, 21 Sep 2016 15:11:30 +0000]
kaluga: delete  kaluga's copy of inherit cnode after boot driver has been spawned

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

4 years agoT289: Refactor slot allocator code to allow slot_alloc_root() to resize L1 cnode
Simon Gerber [Wed, 21 Sep 2016 15:10:38 +0000]
T289: Refactor slot allocator code to allow slot_alloc_root() to resize L1 cnode

Closes T289.

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

4 years agoT288: Remove references to DEFAULT_CNODE_BITS and derived values.
Simon Gerber [Wed, 21 Sep 2016 14:51:46 +0000]
T288: Remove references to DEFAULT_CNODE_BITS and derived values.

Closes T288.

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

4 years agoT284: reduce number of queue slots for receive capslots to 4 and remove magic constants
Simon Gerber [Wed, 21 Sep 2016 09:47:56 +0000]
T284: reduce number of queue slots for receive capslots to 4 and remove magic constants

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

4 years agoT284: make kernel message on occupied destination slot for LMP debug(SUBSYS_DISPATCH...
Simon Gerber [Mon, 19 Sep 2016 09:24:27 +0000]
T284: make kernel message on occupied destination slot for LMP debug(SUBSYS_DISPATCH, ...)

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

4 years agoT284: Fix a couple bits of PCI client code where we were missing slot_alloc() for...
Simon Gerber [Fri, 26 Aug 2016 13:38:13 +0000]
T284: Fix a couple bits of PCI client code where we were missing slot_alloc() for caps returned by RPCs

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

4 years agoT284: Fix thread_{get,set}_recv_slot()
Simon Gerber [Fri, 26 Aug 2016 13:37:38 +0000]
T284: Fix thread_{get,set}_recv_slot()

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

4 years agoharness: fix core ranges for memtest_multicore and retype_multi.
Simon Gerber [Thu, 25 Aug 2016 11:17:11 +0000]
harness: fix core ranges for memtest_multicore and retype_multi.

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

4 years agoT284: T285: Store RPC recv slots in thread struct
Simon Gerber [Thu, 25 Aug 2016 10:19:32 +0000]
T284: T285: Store RPC recv slots in thread struct

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

4 years agoT284: Fix logic for when to fail when no new recv slot provided
Simon Gerber [Wed, 24 Aug 2016 08:21:26 +0000]
T284: Fix logic for when to fail when no new recv slot provided

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

4 years agoT284: Change flounder to use provided slots when in RPC and call lmp_chan_alloc_recv_...
Simon Gerber [Wed, 24 Aug 2016 08:10:38 +0000]
T284: Change flounder to use provided slots when in RPC and call lmp_chan_alloc_recv_slot() otherwise

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

4 years agomt-waitset: adding masking of channels so a thread won't handle two messages at the...
Adam Turowski [Tue, 20 Sep 2016 09:54:51 +0000]
mt-waitset: adding masking of channels so a thread won't handle two messages at the same time

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

4 years agoAdding some initializations
Adam Turowski [Mon, 19 Sep 2016 13:03:16 +0000]
Adding some initializations

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

4 years agoflounder: checking if LMP receive function can actually receive a message
Adam Turowski [Thu, 15 Sep 2016 10:24:52 +0000]
flounder: checking if LMP receive function can actually receive a message

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

4 years agokaluga: removing free call of not malloced region
Adam Turowski [Mon, 5 Sep 2016 10:33:25 +0000]
kaluga: removing free call of not malloced region

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

4 years agomalloc: extra information about the function that attempted to free not-malloced...
Adam Turowski [Mon, 5 Sep 2016 10:31:48 +0000]
malloc: extra information about the function that attempted to free not-malloced region

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

4 years agoharness: adding multithreaded waitset test
Adam Turowski [Mon, 5 Sep 2016 09:32:18 +0000]
harness: adding multithreaded waitset test

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

4 years agoMerge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish
Adam Turowski [Fri, 2 Sep 2016 14:50:14 +0000]
Merge branch 'master' of ssh://code.systems.ethz.ch:8006/diffusion/BFI/barrelfish

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

4 years agomonitor: fixing reordering of LMP messages during UMP cap transfer
Adam Turowski [Fri, 2 Sep 2016 14:48:55 +0000]
monitor: fixing reordering of LMP messages during UMP cap transfer

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

4 years agoMerge branch 'arm_coreboot'
David Cock [Fri, 2 Sep 2016 14:24:51 +0000]
Merge branch 'arm_coreboot'

This merge brings the new ARM Coreboot infrastructure into mainline
Barrelfish. This work is still experimental, but is sufficient to bring the
second core up on the Pandaboard, and in the FVP simulators.

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

4 years agoARMv7: Don't spawn cores on Zynq7000 - it's broken.
David Cock [Fri, 2 Sep 2016 14:24:22 +0000]
ARMv7: Don't spawn cores on Zynq7000 - it's broken.

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

4 years agoRPC cap test: more output
Lukas Humbel [Fri, 2 Sep 2016 13:05:28 +0000]
RPC cap test: more output

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

4 years agoARMv7: Don't autoboot cores on big.LITTLE - it's broken for now.
David Cock [Fri, 2 Sep 2016 12:24:22 +0000]
ARMv7: Don't autoboot cores on big.LITTLE - it's broken for now.

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

4 years agoExtended RPC+cap test
Lukas Humbel [Fri, 2 Sep 2016 11:54:03 +0000]
Extended RPC+cap test

Now uses multiple clients at the same time

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

4 years agoARMv7: bit.LITTLE boot target
David Cock [Fri, 2 Sep 2016 11:33:35 +0000]
ARMv7: bit.LITTLE boot target

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

4 years agoARMv7: Identify A5 on boot.
David Cock [Fri, 2 Sep 2016 11:13:57 +0000]
ARMv7: Identify A5 on boot.

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

4 years agoARMv7: FVP_A5x1 (A9 image) & FVP_A7x1 (A15 image).
David Cock [Fri, 2 Sep 2016 11:06:02 +0000]
ARMv7: FVP_A5x1 (A9 image) & FVP_A7x1 (A15 image).

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

4 years agoARMv7: DS-5 script for A15 FVP.
David Cock [Fri, 2 Sep 2016 10:44:51 +0000]
ARMv7: DS-5 script for A15 FVP.

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

4 years agoARMv7: FVP A15 starts in secure mode, so use the right timer IRQ.
David Cock [Fri, 2 Sep 2016 10:44:23 +0000]
ARMv7: FVP A15 starts in secure mode, so use the right timer IRQ.

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

4 years agoARMv7: A15/A17 FVPs. Don't quite work yet.
David Cock [Thu, 1 Sep 2016 19:15:21 +0000]
ARMv7: A15/A17 FVPs.  Don't quite work yet.

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

4 years agoARMv7: Added new FVP boot targets.
David Cock [Thu, 1 Sep 2016 18:49:09 +0000]
ARMv7: Added new FVP boot targets.

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

4 years agoARMv7: Added coreboot for Zynq7000 - doesn't work yet.
David Cock [Thu, 1 Sep 2016 18:44:11 +0000]
ARMv7: Added coreboot for Zynq7000 - doesn't work yet.

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

4 years agoHarness: Disable read after finish as it breaks some tests
Lukas Humbel [Thu, 1 Sep 2016 14:39:43 +0000]
Harness: Disable read after finish as it breaks some tests

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

4 years agoHarness: Flush console after test has finished
Lukas Humbel [Thu, 1 Sep 2016 13:16:04 +0000]
Harness: Flush console after test has finished

When a tests sets is_finished a bit too early, it might
hide important error messages. Harness now reads from console
until it blocks (or at most most 30 seconds) after the test declares itself
finished.

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

4 years agoflounder: removing monitor header file dependency from UMP
Adam Turowski [Thu, 1 Sep 2016 09:07:05 +0000]
flounder: removing monitor header file dependency from UMP

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

4 years agoARMv7: 4 core A15 in QEMU
David Cock [Wed, 31 Aug 2016 14:37:42 +0000]
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>