5 years agoUpdated README to reflect changes to toolchain and newly supported HW. release2014-11-19
Simon Gerber [Wed, 19 Nov 2014 15:56:18 +0000]
Updated README to reflect changes to toolchain and newly supported HW.

Signed-off-by: Simon Gerber <>

5 years agoUpdated ARM targets to build with Ubuntu ARM gcc.
Simon Gerber [Wed, 19 Nov 2014 15:43:08 +0000]
Updated ARM targets to build with Ubuntu ARM gcc.

Signed-off-by: Simon Gerber <>

5 years agoAdded octopus rpcclient defs to lib/spawndomain.
Simon Gerber [Wed, 19 Nov 2014 11:57:17 +0000]
Added octopus rpcclient defs to lib/spawndomain.

Signed-off-by: Simon Gerber <>

5 years agoFixed ETH nfs exports.
Simon Gerber [Wed, 19 Nov 2014 11:12:07 +0000]
Fixed ETH nfs exports.

5 years agoWorkaround for perfmon_amd_supported() causing page fault.
Simon Gerber [Fri, 31 Oct 2014 13:48:25 +0000]
Workaround for perfmon_amd_supported() causing page fault.

constant string contents are interpreted as address in call to strncmp with
old version; maybe a compiler bug/bugfix in gcc 4.8? The old code used to
work with gcc 4.6.

Signed-off-by: Simon Gerber <>

5 years agoMake hake and mackerel compile with ghc 7.6.
Wang Nan [Tue, 18 Nov 2014 14:15:53 +0000]
Make hake and mackerel compile with ghc 7.6.

Signed-off-by: Simon Gerber <>

5 years agoFixed bomp ft benchmark.
Simon Gerber [Mon, 10 Nov 2014 14:32:15 +0000]
Fixed bomp ft benchmark.

5 years agoCleaned up page cn and physaddr cn creation code.
Simon Gerber [Mon, 10 Nov 2014 13:20:10 +0000]
Cleaned up page cn and physaddr cn creation code.

5 years agoIncreased boot timeout for cores
Stefan Kaestle [Fri, 7 Nov 2014 16:24:25 +0000]
Increased boot timeout for cores

Otherwise, booting the second core in qemu times out.

5 years agohake: Fixed code that merges static libraries to not roll dice when including multipl...
Simon Gerber [Fri, 7 Nov 2014 15:43:03 +0000]
hake: Fixed code that merges static libraries to not roll dice when including multiple .o files with the same name.

5 years agoIgnore running over maxbusnum for now. release2014-11-06
Gerd Zellweger [Tue, 4 Nov 2014 13:42:49 +0000]
Ignore running over maxbusnum for now.

5 years agoFix ACPI debug statements.
Gerd Zellweger [Tue, 4 Nov 2014 13:42:25 +0000]
Fix ACPI debug statements.

5 years agoFix webserver timeout.
Gerd Zellweger [Fri, 31 Oct 2014 10:26:03 +0000]
Fix webserver timeout.

5 years agoacpi quickfix for boot issues on our SB and Haswell machines.
Simon Gerber [Thu, 30 Oct 2014 09:58:14 +0000]
acpi quickfix for boot issues on our SB and Haswell machines.

5 years agoMoved BIOS mmap cleanup to shared x86 code. Call from both x86_64 and x86_32 startup...
Simon Gerber [Wed, 29 Oct 2014 13:40:03 +0000]
Moved BIOS mmap cleanup to shared x86 code. Call from both x86_64 and x86_32 startup code.

5 years agoacpi: fixed debugging messages format strings for 32bit.
Simon Gerber [Wed, 29 Oct 2014 13:05:27 +0000]
acpi: fixed debugging messages format strings for 32bit.

5 years agoVarious small fixes (some based on clang errors).
Simon Gerber [Thu, 23 Oct 2014 12:18:35 +0000]
Various small fixes (some based on clang errors).

5 years agoImplemented newlib __lock_* functions for Barrelfish.
Simon Gerber [Mon, 20 Oct 2014 17:08:51 +0000]
Implemented newlib __lock_* functions for Barrelfish.

Among other things this change enables proper locking for printf and co in
multithreaded programs.

5 years agoAdded early return in hellotest when we are not in privileged mode.
Simon Gerber [Mon, 20 Oct 2014 12:08:41 +0000]
Added early return in hellotest when we are not in privileged mode.

5 years agoMake SCC build.
Simon Gerber [Fri, 17 Oct 2014 17:15:16 +0000]
Make SCC build.

* Cleanup in flounder GCBackend.
* Only emit shared memory connect and accept functions for non-IPI UMP.

5 years agoChanged hellotest application to compile on non-x86 again.
Simon Gerber [Fri, 17 Oct 2014 14:20:46 +0000]
Changed hellotest application to compile on non-x86 again.

5 years agoFixed xscale build issues.
Simon Gerber [Fri, 17 Oct 2014 14:18:46 +0000]
Fixed xscale build issues.

5 years agoFixed armv5 build issues.
Simon Gerber [Fri, 17 Oct 2014 13:29:54 +0000]
Fixed armv5 build issues.

* Cleanup and fixes in symbolic_targets
   - skb back in MODULES_COMMON
   - fixed QEMU command line in harness and symbolic targets to explicitly
     specify integratorcp for armv5
   - moved x86 tests to their own variable, so we don't try to build ump tests
     for armv5.
   - disable lazy THC for armv5.

* Fixed flounder to not emit pre-shared frame accept/connect when UMP

5 years agoharness: Fix bulktests script to not choke on single-socket machines (i.e. vacherin).
Simon Gerber [Thu, 16 Oct 2014 16:33:16 +0000]
harness: Fix bulktests script to not choke on single-socket machines (i.e. vacherin).

5 years agoharness: Added asiago and babybel to eth machine list.
Simon Gerber [Thu, 16 Oct 2014 13:10:44 +0000]
harness: Added asiago and babybel to eth machine list.

5 years agolibspawndomain: fix printf strings to compile in x86_32.
Simon Gerber [Wed, 15 Oct 2014 14:06:55 +0000]
libspawndomain: fix printf strings to compile in x86_32.

5 years agoharness: Added brie machines as 32 bit targets.
Simon Gerber [Wed, 15 Oct 2014 13:45:25 +0000]
harness: Added brie machines as 32 bit targets.

5 years agoharness: Fixed spantest to not try to spawn threads on more cores than the machine...
Simon Gerber [Wed, 15 Oct 2014 13:25:54 +0000]
harness: Fixed spantest to not try to spawn threads on more cores than the machine has.

5 years agonewlib: libbarrelfish: properly hook up assert functionality.
Simon Gerber [Tue, 8 Jul 2014 23:59:03 +0000]
newlib: libbarrelfish: properly hook up assert functionality.

5 years agoremove LD_LIBRARY_PATH from environment before running gem5 and telnet. Cleaned up...
Simon Gerber [Tue, 14 Oct 2014 18:14:55 +0000]
remove LD_LIBRARY_PATH from environment before running gem5 and telnet. Cleaned up file.

5 years agoAdded one more exception catching clause in gem5 harness code.
Simon Gerber [Tue, 14 Oct 2014 17:35:52 +0000]
Added one more exception catching clause in gem5 harness code.

5 years agoAdded line in tools/ to disable ubuntu chroot.
Simon Gerber [Tue, 14 Oct 2014 17:17:29 +0000]
Added line in tools/ to disable ubuntu chroot.

5 years agoharness: Added clause to also catch OSError when trying to kill gem5.
Simon Gerber [Tue, 14 Oct 2014 17:13:35 +0000]
harness: Added clause to also catch OSError when trying to kill gem5.

5 years agoharness: Gracefully fail when trying to kill gem5.
Simon Gerber [Tue, 14 Oct 2014 17:00:34 +0000]
harness: Gracefully fail when trying to kill gem5.

5 years agoFixed cxxabi fix.
Simon Gerber [Tue, 14 Oct 2014 17:00:08 +0000]
Fixed cxxabi fix.

5 years agoRemoved alignas() in cxxabi code.
Simon Gerber [Tue, 14 Oct 2014 16:31:20 +0000]
Removed alignas() in cxxabi code.

g++ < 4.8 does not implement alignas(). Replaced the one use of it with
__attribute__((aligned())) for now.  Needs revisiting if we switch to gcc 4.8
in blessed toolchain.

5 years agoRemoved dependency on inkscape for building AHCI technote.
Simon Gerber [Tue, 14 Oct 2014 16:21:44 +0000]
Removed dependency on inkscape for building AHCI technote.

5 years agoFixed missing cast in bomp ft.
Simon Gerber [Tue, 14 Oct 2014 15:51:33 +0000]
Fixed missing cast in bomp ft.

5 years agoRenamed variable round in xeon_phi sysmem_caps.c to round_ to avoid shadowing global...
Simon Gerber [Tue, 14 Oct 2014 15:02:53 +0000]
Renamed variable round in xeon_phi sysmem_caps.c to round_ to avoid shadowing global defined in math.h.

5 years agoFix pandaboard harness test.
Simon Gerber [Tue, 14 Oct 2014 13:57:57 +0000]
Fix pandaboard harness test.

* Added include for disp_name() in lib/spawndomain/spawn_omp.c
* Added rpc wrapper for virtio if host library hake definition.

5 years agoAdded a few missing return values.
Simon Gerber [Thu, 2 Oct 2014 15:46:08 +0000]
Added a few missing return values.

5 years agoxeon_phi driver: added missing flounderExtraBindings.
Simon Gerber [Thu, 2 Oct 2014 15:33:25 +0000]
xeon_phi driver: added missing flounderExtraBindings.

5 years agoarm: Fixed inthandler_setup_arm() to set barrelfish_interrupt_waitset.
Simon Gerber [Wed, 1 Oct 2014 16:44:03 +0000]
arm: Fixed inthandler_setup_arm() to set barrelfish_interrupt_waitset.

5 years agoFixed startd to not choke on domains that have argv >= 2 but neither core= nor spawnf...
Simon Gerber [Wed, 1 Oct 2014 16:09:11 +0000]
Fixed startd to not choke on domains that have argv >= 2 but neither core= nor spawnflags=.

* anything that has 'auto' has argv == 2
* The serial driver on the pandaboard has argv == 3
* angler has argv == 2

5 years agoComment out backend_create_time() in bomp is benchmark to make it compile.
Simon Gerber [Wed, 1 Oct 2014 16:07:38 +0000]
Comment out backend_create_time() in bomp is benchmark to make it compile.

Why is this necessary? We used to have a stub for backend_create_time() in the
Barrelfish backend. The function seems to be a nop anyway, judging from the
Linux backend.

5 years agolibbench: clean up mixed use of uint64_t and cycles_t. Now compiles on armv7.
Simon Gerber [Wed, 1 Oct 2014 15:37:21 +0000]
libbench: clean up mixed use of uint64_t and cycles_t. Now compiles on armv7.

5 years agoarmv5: wrapped all clrex instructions in #ifndef __ARM_ARCH_5__.
Simon Gerber [Wed, 1 Oct 2014 15:27:33 +0000]
armv5: wrapped all clrex instructions in #ifndef __ARM_ARCH_5__.

5 years agoproperly quote src dir in mkcpio scripts.
Simon Gerber [Wed, 1 Oct 2014 14:52:58 +0000]
properly quote src dir in mkcpio scripts.

5 years agoFixed some compilation errors.
Simon Gerber [Tue, 30 Sep 2014 15:58:40 +0000]
Fixed some compilation errors.

5 years agoarm_molly: reformatted and squashed build errors.
Simon Gerber [Tue, 13 May 2014 14:02:18 +0000]
arm_molly: reformatted and squashed build errors.

5 years agoRemove Green Marl from default targets
Stefan Kaestle [Wed, 1 Oct 2014 13:48:38 +0000]
Remove Green Marl from default targets

6 years agomerge with main tree
Reto Achermann [Wed, 10 Sep 2014 09:34:56 +0000]
merge with main tree

6 years agoadded xeon phi sysmem benchmark in sysmem manager.
Reto Achermann [Fri, 5 Sep 2014 13:12:26 +0000]
added xeon phi sysmem benchmark in sysmem manager.

6 years agomem_latency benchmark: rewritten the measuring loops.
Reto Achermann [Fri, 5 Sep 2014 13:11:48 +0000]
mem_latency benchmark: rewritten the measuring loops.

6 years agoadded bomp matrix multiply benchmark
Reto Achermann [Fri, 5 Sep 2014 13:11:28 +0000]
added bomp matrix multiply benchmark

6 years agolibbomp: updated internal headerfile.
Reto Achermann [Fri, 5 Sep 2014 13:11:05 +0000]
libbomp: updated internal headerfile.

6 years agolibbomp: added micro benchmark switch for measurements
Reto Achermann [Fri, 5 Sep 2014 13:09:15 +0000]
libbomp: added micro benchmark switch for measurements

6 years agolibbench: added function to compute the std dev and minor changes
Reto Achermann [Fri, 5 Sep 2014 13:05:04 +0000]
libbench: added function to compute the std dev and minor changes

added a function that computes the standard deviation of the

Added option to dump octave friendly analysis results

added functions to obtains tsc ticks per time (so sys_debug is not

6 years agosymbolic targets: make dependencies of Xeon Phi based od MODULES_*
Reto Achermann [Fri, 5 Sep 2014 13:01:50 +0000]
symbolic targets: make dependencies of Xeon Phi based od MODULES_*

6 years agoaddition of mem_latency benchmark
Reto Achermann [Thu, 4 Sep 2014 16:56:23 +0000]
addition of mem_latency benchmark

6 years agounused variable compler error in asm_inlines for K1OM
Reto Achermann [Thu, 4 Sep 2014 16:55:47 +0000]
unused variable compler error in asm_inlines for K1OM

6 years agolibdma: added basic benchmarking for requests (can be enabled by makro)
Reto Achermann [Thu, 4 Sep 2014 16:54:41 +0000]
libdma: added basic benchmarking for requests (can be enabled by makro)

6 years agoxeon_phi driver: increased poll count for the serial.
Reto Achermann [Thu, 4 Sep 2014 16:53:03 +0000]
xeon_phi driver: increased poll count for the serial.

6 years agobugfix in startd: just adding a core= argument resulted in segfault.
Reto Achermann [Thu, 4 Sep 2014 16:52:26 +0000]
bugfix in startd: just adding a core= argument resulted in segfault.

6 years agolibbomp: starting of remove threads before local threads
Reto Achermann [Sun, 31 Aug 2014 18:52:37 +0000]
libbomp: starting of remove threads before local threads

6 years agoremoved unneeded debug_printf
Reto Achermann [Sun, 31 Aug 2014 11:26:03 +0000]
removed unneeded debug_printf

6 years agolibbomp: bugfixes and gateway domain
Reto Achermann [Sun, 31 Aug 2014 11:10:36 +0000]
libbomp: bugfixes and gateway domain

several bugfixes in libbomp (xomp backend)
added gatway role to worker domains which acts as a memory distributor
to speed up memory sharing / replication.

6 years agoincreased the morecore heap size to 3.5GB
Reto Achermann [Sun, 31 Aug 2014 11:04:00 +0000]
increased the morecore heap size to 3.5GB

large graph computations required a bigger heap size.

BUG: the way it is right now, a heapsize larger ghan 3.5G is not
possible as the thread structs will be placed above the 32bits which
will not fit into the LDT.

6 years agolibdma: added small bugfixes and output representation changes in Xeon
Reto Achermann [Sun, 31 Aug 2014 11:02:19 +0000]
libdma: added small bugfixes and output representation changes in Xeon
Phi part

6 years agolibspawndomain: added functions for symbol parsing and
Reto Achermann [Sun, 31 Aug 2014 11:00:12 +0000]
libspawndomain: added functions for symbol parsing and

6 years agobugfix: startd had the flag "has_spawn_flags" initialized to 1 instead
Reto Achermann [Sun, 31 Aug 2014 10:57:46 +0000]
bugfix: startd had the flag "has_spawn_flags" initialized to 1 instead
of 0

6 years agoXeon Phi Driver: replaced old event polling functions with new one
Reto Achermann [Sun, 31 Aug 2014 10:56:10 +0000]
Xeon Phi Driver: replaced old event polling functions with new one

Reason: the old functions were not polling the DMA transfers which could
lead to a dealock like situation

added check for DMA initialization when the DMA device is polled.

6 years agoXeon Phi Driver: introduced new event polling function.
Reto Achermann [Sun, 31 Aug 2014 10:54:05 +0000]
Xeon Phi Driver: introduced new event polling function.

6 years agoxeon phi driver: moved serial initialization to device initialization
Reto Achermann [Sun, 31 Aug 2014 10:49:57 +0000]
xeon phi driver: moved serial initialization to device initialization

6 years agoweever: small changes in output representation of multiboot image
Reto Achermann [Sun, 31 Aug 2014 10:47:04 +0000]
weever: small changes in output representation of multiboot image

6 years agolibxomp interfaces: cleanup and new gateway interface
Reto Achermann [Sun, 31 Aug 2014 10:44:09 +0000]
libxomp interfaces: cleanup and new gateway interface

added comments to the interface specifications
added xomp_gateway interface for local capability distribution

6 years agocleaned up menu.lst for K1OM architecture
Reto Achermann [Sun, 31 Aug 2014 10:29:33 +0000]
cleaned up menu.lst for K1OM architecture

6 years agoadded new error values for libbomp/xomp backend.
Reto Achermann [Sun, 31 Aug 2014 10:26:30 +0000]
added new error values for libbomp/xomp backend.

6 years agoremoved old k1om targets from
Reto Achermann [Sat, 30 Aug 2014 12:15:29 +0000]
removed old k1om targets from

6 years agoadding a tag for release 2014-08-29
Stefan Kaestle [Fri, 29 Aug 2014 20:07:38 +0000]
adding a tag for release 2014-08-29

6 years agoFix: conversion lvaddr to genvaddr release2014-08-29
Stefan Kaestle [Fri, 29 Aug 2014 11:18:45 +0000]
Fix: conversion lvaddr to genvaddr

6 years agoskb_simple: added handling of string attributes.
Reto Achermann [Fri, 29 Aug 2014 07:44:55 +0000]
skb_simple: added handling of string attributes.

6 years agoSymbolic targets: refactored targets for k1om architecture
Reto Achermann [Thu, 28 Aug 2014 12:01:30 +0000]
Symbolic targets: refactored targets for k1om architecture

removed the target for the parsed menu.lst. this work was executed

introduced a do_update variable in the install target which is set if
one of the resources was updated and triggers nfs upload

6 years agoFixed x86_32 type conversion and printf format
Stefan Kaestle [Thu, 28 Aug 2014 12:01:12 +0000]
Fixed x86_32 type conversion and printf format

6 years agoincluded spawndoamin.h in spawn_client.h to have access to spawnflags.
Reto Achermann [Thu, 28 Aug 2014 08:34:14 +0000]
included spawndoamin.h in spawn_client.h to have access to spawnflags.

6 years agospawndomain: compiler warning shadowning index variable. renamed.
Reto Achermann [Thu, 28 Aug 2014 08:33:41 +0000]
spawndomain: compiler warning shadowning index variable. renamed.

6 years agoadapted the xeon phi spawn infrastructure to handle spawn flags.
Reto Achermann [Thu, 28 Aug 2014 08:33:09 +0000]
adapted the xeon phi spawn infrastructure to handle spawn flags.

6 years agospawn: added handling of spawn flags
Reto Achermann [Thu, 28 Aug 2014 08:06:50 +0000]
spawn: added handling of spawn flags

Added a spawnflags parameter to the command line and forwarding of
spawnflags to spawnd

Added a spawn flag SPAWN_FLAGS_OMP for parsing openMP functions.

6 years agoRevert 8d1681
Stefan Kaestle [Wed, 27 Aug 2014 13:28:46 +0000]
Revert 8d1681

git submodules, when exported to HG, are automatically checked when
cloned. We don't want that. Reverting use of submodules temporarily.

6 years agolibelf: added a function to count the number of symbols matching a given
Reto Achermann [Wed, 27 Aug 2014 15:21:05 +0000]
libelf: added a function to count the number of symbols matching a given

6 years agoadded special case for Xeon Phi bootstrap in spawnd to simplify
Reto Achermann [Wed, 27 Aug 2014 14:56:39 +0000]
added special case for Xeon Phi bootstrap in spawnd to simplify

6 years agobomp: make use of default core stride if not set.
Reto Achermann [Wed, 27 Aug 2014 14:55:46 +0000]
bomp: make use of default core stride if not set.

6 years agoIOAT: increased DMA ring size
Reto Achermann [Wed, 27 Aug 2014 14:52:08 +0000]
IOAT: increased DMA ring size

6 years agoharness: Use BIOS PCI allocation plan for sbrinz{1,2}
Stefan Kaestle [Wed, 27 Aug 2014 14:51:24 +0000]
harness: Use BIOS PCI allocation plan for sbrinz{1,2}

6 years agobugfix in image creation: old image was not cleared..
Reto Achermann [Wed, 27 Aug 2014 14:28:16 +0000]
bugfix in image creation: old image was not cleared..

6 years agoXeon Phi Image Generation
Reto Achermann [Wed, 27 Aug 2014 13:22:27 +0000]
Xeon Phi Image Generation

Added new make targets for the Xeon Phi image generation
Support of NFS Xeon Phi image loading

6 years agoharness: Use BIOS PCI allocation plan for sbrinz{1,2}
Stefan Kaestle [Wed, 27 Aug 2014 11:33:16 +0000]
harness: Use BIOS PCI allocation plan for sbrinz{1,2}

6 years agoFixed build dependency problem
Stefan Kaestle [Wed, 27 Aug 2014 11:32:06 +0000]
Fixed build dependency problem

6 years agoFixed name of Xeon Phi manager
Stefan Kaestle [Wed, 27 Aug 2014 11:31:21 +0000]
Fixed name of Xeon Phi manager

6 years agoFixed NAS benchmarks to work with new BOMP interface
Stefan Kaestle [Wed, 27 Aug 2014 11:30:42 +0000]
Fixed NAS benchmarks to work with new BOMP interface