5 years agoRemoved submodules. release2015-01-29
Simon Gerber [Thu, 29 Jan 2015 10:42:19 +0000]
Removed submodules.

5 years agocopy-on-write example: added actual copying of frame contents + improved output.
Simon Gerber [Wed, 28 Jan 2015 16:12:01 +0000]
copy-on-write example: added actual copying of frame contents + improved output.

Signed-off-by: Simon Gerber <>

5 years agogem5: fixed booting non-bsp cores.
Simon Gerber [Tue, 13 Jan 2015 12:03:35 +0000]
gem5: fixed booting non-bsp cores.

Signed-off-by: Simon Gerber <>

5 years agoadded a description of the sign-off procedure
Kornilios Kourtis [Tue, 13 Jan 2015 08:49:45 +0000]
added a description of the sign-off procedure

5 years agoMerge branch 'master' of ssh://
Reto Achermann [Tue, 13 Jan 2015 08:26:52 +0000]
Merge branch 'master' of ssh://

5 years agoDocument version, usage and modifications for external libraries
Zaheer Chothia [Mon, 12 Jan 2015 18:16:02 +0000]
Document version, usage and modifications for external libraries

Note to others: please help adding and maintaining these notes.  These
are tremendously helpful when comparing against and merging in changes
from new releases.  As a user it also helps to be aware of Barrelfish-
specific quirks.

5 years agoAdded copy-on-write example program.
Simon Gerber [Mon, 12 Jan 2015 16:27:04 +0000]
Added copy-on-write example program.

5 years agolibbarrelfish: memobj: add optional frame offset to anonymous memobjs.
Simon Gerber [Mon, 12 Jan 2015 16:16:12 +0000]
libbarrelfish: memobj: add optional frame offset to anonymous memobjs.

5 years agox86_64: dynamically compute where kernel VA starts when dumping ptables.
Simon Gerber [Mon, 12 Jan 2015 16:15:36 +0000]
x86_64: dynamically compute where kernel VA starts when dumping ptables.

5 years agocap_delete_last: Handle LMP buffer overflow more gracefully.
Simon Gerber [Mon, 12 Jan 2015 16:14:56 +0000]
cap_delete_last: Handle LMP buffer overflow more gracefully.

5 years agoMerge branch 'master' of ssh://
Reto Achermann [Mon, 12 Jan 2015 16:07:46 +0000]
Merge branch 'master' of ssh://

5 years agolibbarrelfish: cleanup of code for Xeon Phi
Reto Achermann [Mon, 29 Dec 2014 09:03:24 +0000]
libbarrelfish: cleanup of code for Xeon Phi

removed duplicated code in source files for the K1OM architecture
and merged it with the x86_64 code.


5 years agodisablibg debug for NUMA
Reto Achermann [Tue, 6 Jan 2015 13:37:54 +0000]
disablibg debug for NUMA

5 years agoadding nospawn flag to the lua settigns file
Reto Achermann [Sun, 4 Jan 2015 15:30:41 +0000]
adding nospawn flag to the lua settigns file

5 years agobugfix in the mapping of the numa memobj
Reto Achermann [Sun, 4 Jan 2015 14:15:11 +0000]
bugfix in the mapping of the numa memobj

5 years agolibdma: adding memset support
Reto Achermann [Fri, 2 Jan 2015 16:29:26 +0000]
libdma: adding memset support

extending the DMA library to support memset transfers for the
Intel IOAT DMA device.

5 years agolibdma: bugfixes to avoid NULL pointer dereferencing.
Reto Achermann [Tue, 30 Dec 2014 12:06:07 +0000]
libdma: bugfixes to avoid NULL pointer dereferencing.

5 years agoBOMP: bugfix to match the new lock types
Reto Achermann [Mon, 29 Dec 2014 09:25:17 +0000]
BOMP: bugfix to match the new lock types

5 years agoMerge commit '68aa7c3'
Reto Achermann [Mon, 12 Jan 2015 15:28:22 +0000]
Merge commit '68aa7c3'


5 years agofix syntax error in graphviz files. seems like more recent versions are more picky...
Moritz Hoffmann [Mon, 12 Jan 2015 10:36:34 +0000]
fix syntax error in graphviz files. seems like more recent versions are more picky than before

5 years agofix syntax error in graphviz files. seems like more recent versions are more picky...
Moritz Hoffmann [Mon, 12 Jan 2015 10:36:34 +0000]
fix syntax error in graphviz files. seems like more recent versions are more picky than before

5 years agoadding errstring to printf when ldt init fails.
Reto Achermann [Mon, 29 Dec 2014 08:39:37 +0000]
adding errstring to printf when ldt init fails.

5 years agolibskb: adding a check to avoid re-initialization of skb binding
Reto Achermann [Mon, 29 Dec 2014 08:24:28 +0000]
libskb: adding a check to avoid re-initialization of skb binding

5 years agolibbomp2: initial commit of the new OMP library
Reto Achermann [Mon, 29 Dec 2014 09:05:09 +0000]
libbomp2: initial commit of the new OMP library

replaced thread_creates() with message only work distribution
use of NUMA functions to determine system architecture.

5 years agolibnuma: adding new error numbers
Reto Achermann [Mon, 29 Dec 2014 08:22:57 +0000]
libnuma: adding new error numbers

5 years agolibnuma: implementing bitmap functions
Reto Achermann [Wed, 24 Dec 2014 11:53:34 +0000]
libnuma: implementing bitmap functions

Implemented libnuma's numa_bitmask functions using the functionality
supplied by libbitmap.

renamed bitmap.c into numa_bitmap.c as this caused linking problems.

5 years agolibbitmap: adding a generic bitmap library
Reto Achermann [Wed, 24 Dec 2014 11:50:57 +0000]
libbitmap: adding a generic bitmap library

5 years agoBugfix in hake: dealing with flags for C/C++ compilers
Reto Achermann [Fri, 19 Dec 2014 14:57:50 +0000]
Bugfix in hake: dealing with flags for C/C++ compilers

5 years agoadding handling of core number to greenmarl test
Reto Achermann [Thu, 18 Dec 2014 15:52:50 +0000]
adding handling of core number to greenmarl test

5 years agowriting explicit targets for greenmarl files
Reto Achermann [Thu, 18 Dec 2014 10:52:25 +0000]
writing explicit targets for greenmarl files

5 years agoremoving resource join calls in bomb init
Reto Achermann [Thu, 18 Dec 2014 10:52:01 +0000]
removing resource join calls in bomb init

5 years ago[clang] Fixes for the clang compiler.
Gerd Zellweger [Thu, 11 Dec 2014 21:22:16 +0000]
[clang] Fixes for the clang compiler.

5 years agoadding lua settings file to menu.lst of test
Reto Achermann [Wed, 17 Dec 2014 12:58:25 +0000]
adding lua settings file to menu.lst of test

5 years agofixed missing include in libnuma/alloc.c
Reto Achermann [Wed, 17 Dec 2014 12:56:45 +0000]
fixed missing include in libnuma/alloc.c

5 years agoposixcompat: fixed pthread_key destructor calls
Zaheer Chothia [Mon, 15 Dec 2014 22:35:06 +0000]
posixcompat: fixed pthread_key destructor calls

The deletion path was previously missing completely and POSIX requires the
implementation to set the key pointer to NULL before calling the destructor

What is still missing is the repeated destructor calls if values become
non-NULL (i.e. PTHREAD_DESTRUCTOR_ITERATIONS).  Further, this module is missing
a number of corner cases and NULL checks.  It may be better to just import the
corresponding code from elsewhere:

Test Plan:
Rust uses these in the test suite to collect output (by overriding
stdout/stderr).  That would segfault but now runs through fine.

Differential Revision:

5 years agoposixcompat: fix NULL pointer dereference in pthread_join
Zaheer Chothia [Mon, 15 Dec 2014 22:33:59 +0000]
posixcompat: fix NULL pointer dereference in pthread_join

5 years agoevent queue: document unsafety for cross-core messaging.
Zaheer Chothia [Sun, 14 Dec 2014 19:53:36 +0000]
event queue: document unsafety for cross-core messaging.

Test Plan: N/A

Differential Revision:

5 years agoevent queue: fix typo and potential race condition.
Zaheer Chothia [Sun, 14 Dec 2014 19:50:38 +0000]
event queue: fix typo and potential race condition.

Boolean condition was negated so event runner did not re-register to the
underlying channel. This meant that in continuous mode only the first node
would be delivered and the remainder would wait indefinitely.

Also fixes a potential race condition between event_queue_trigger and
event_queue_cancel on the 'run' field.

(Note: in the interim this was already fixed in 81e3710f9f55 so this is only a
partial patch.)

5 years agoRemove <nodeputy.h> from default flags
Zaheer Chothia [Sun, 14 Dec 2014 16:02:46 +0000]
Remove <nodeputy.h> from default flags

Deputy annotations [1] can be used to label safety properties.  They are
used extensively in the kernel, but in user-space there is only one use.
The macros have short names (like 'COUNT', 'SAFE') which can conflict
when building other applications.  Furthermore, these are not being
checked and are just stripped during the build.

Note: the change to <kernel.h> is needed because it is included from a
generated file:


Test Plan: `make clean && make` was successful

Differential Revision:

5 years agolibnuma: changes in type defs and macros
Reto Achermann [Tue, 16 Dec 2014 12:34:48 +0000]
libnuma: changes in type defs and macros

* moved definition of nodeid_t into types.h
* changed printf specifies to use PRIuNODEID
* changes in debug macros to take arguments
* additional sanity checks for core/node ids

5 years agoupdated harness to use the new done string
Reto Achermann [Tue, 16 Dec 2014 10:21:25 +0000]
updated harness to use the new done string

5 years agochanges in format of numa debug statements
Reto Achermann [Tue, 16 Dec 2014 10:20:41 +0000]
changes in format of numa debug statements

5 years agolibnuma: adding check macros
Reto Achermann [Tue, 16 Dec 2014 10:19:57 +0000]
libnuma: adding check macros

5 years agolibnuma: removed unnecessary printfs when getting skb information.
Reto Achermann [Tue, 16 Dec 2014 09:24:52 +0000]
libnuma: removed unnecessary printfs when getting skb information.

5 years agofixed interface change in numatest
Reto Achermann [Tue, 16 Dec 2014 09:09:40 +0000]
fixed interface change in numatest

5 years agoSKB queries to get topology information if affinities are present
Reto Achermann [Tue, 16 Dec 2014 09:07:21 +0000]
SKB queries to get topology information if affinities are present

5 years agoacpi: bugfix telling SKB the number is in hex
Reto Achermann [Tue, 16 Dec 2014 09:06:24 +0000]
acpi: bugfix telling SKB the number is in hex

5 years agolibnuma: setting the numa topology structure and the functionality to dump the topology
Reto Achermann [Tue, 16 Dec 2014 09:04:28 +0000]
libnuma: setting the numa topology structure and the functionality to dump the topology

5 years agoChange USB code to use barrelfish_usleep provided by lib_usb_wait instead of USB_WAIT...
Moritz Hoffmann [Mon, 15 Dec 2014 15:59:49 +0000]
Change USB code to use barrelfish_usleep provided by lib_usb_wait instead of USB_WAIT macro

5 years agoSKB: Adding of new queries for obtaining NUMA info
Reto Achermann [Sun, 14 Dec 2014 20:42:01 +0000]
SKB: Adding of new queries for obtaining NUMA info

The SKB was extended with a new function to obtain information
about the system (topology) of NUMA nodes, cores and memory
used by libnuma.

The functions are not fully implemented at this stage.

5 years agoMerge remote-tracking branch 'origin/master' into shoal
Reto Achermann [Sun, 14 Dec 2014 10:26:47 +0000]
Merge remote-tracking branch 'origin/master' into shoal

Adding of missing architecture specific functions for the K1OM.


5 years agolibnuma: testdomain and partial implementation
Reto Achermann [Sat, 13 Dec 2014 16:26:28 +0000]
libnuma: testdomain and partial implementation

initial commit of lib/numa with function stubs for the interface functions
adding implementations of some interface functions of libnuma

adding of tests/numatest domain to check libnuma

5 years agosymbolic target: bugfix for GM targets with multiple architectures
Reto Achermann [Sat, 13 Dec 2014 08:23:33 +0000]
symbolic target: bugfix for GM targets with multiple architectures

5 years agoadding babybel to the special PCI cases.
Reto Achermann [Fri, 12 Dec 2014 15:05:16 +0000]
adding babybel to the special PCI cases.

5 years agolibposix compat: fixed missing flounder Defs
Reto Achermann [Fri, 12 Dec 2014 12:20:45 +0000]
libposix compat: fixed missing flounder Defs

5 years agolibnuma: adding interface specification numa.h
Reto Achermann [Fri, 12 Dec 2014 10:31:15 +0000]
libnuma: adding interface specification numa.h

adding the a ported version of libnuma's header to the include directory

Specified NUMA_ERR related error codes in errno.fugu

5 years agogreen-marl: fixed test script of scale bench
Reto Achermann [Thu, 11 Dec 2014 14:31:31 +0000]
green-marl: fixed test script of scale bench

5 years agoharness: adding tests for greenmarl
Reto Achermann [Thu, 11 Dec 2014 13:23:50 +0000]
harness: adding tests for greenmarl

5 years agoadding paralellism support for GM compiler
Reto Achermann [Thu, 11 Dec 2014 13:23:19 +0000]
adding paralellism support for GM compiler

5 years agoFixed shoal and Green Marl path in symbolic_targets
Stefan Kaestle [Wed, 10 Dec 2014 15:59:23 +0000]
Fixed shoal and Green Marl path in symbolic_targets

5 years agoupdated submodule revisions
Reto Achermann [Wed, 10 Dec 2014 15:22:02 +0000]
updated submodule revisions

5 years agobugfix in symbolic_targets for submodules
Reto Achermann [Wed, 10 Dec 2014 15:21:35 +0000]
bugfix in symbolic_targets for submodules

5 years agobugfix: unused variable warning when disabling checking frame size
Reto Achermann [Wed, 10 Dec 2014 14:03:47 +0000]
bugfix: unused variable warning when disabling checking frame size

5 years agoremoving printf in libbomp
Reto Achermann [Wed, 10 Dec 2014 14:01:58 +0000]
removing printf in libbomp

5 years agolibbarrelfish: adding new memobj type
Reto Achermann [Wed, 10 Dec 2014 14:00:26 +0000]
libbarrelfish: adding new memobj type

new memobj type for memory distribution among NUMA nodes.

5 years agoDefaults to gitignore.
Gerd Zellweger [Wed, 10 Dec 2014 09:22:30 +0000]
Defaults to gitignore.

5 years agoARMv5: Make sure menu.lst.modules is always in base of CPIO archive.
Gerd Zellweger [Mon, 8 Dec 2014 21:19:37 +0000]
ARMv5: Make sure menu.lst.modules is always in base of CPIO archive.

5 years agoFix the USB code that was destroying my shell.
Gerd Zellweger [Mon, 8 Dec 2014 17:11:10 +0000]
Fix the USB code that was destroying my shell.

Writing random ASCII character in general is not a good idea.
Now I write a space/backspace combination which at least does
not set my shell to 'garbage output mode'.
The whole thing is suboptimal as we don't want USB set-up code
in the kernel and we don't want to do waiting using printf.
We should really re-write those wait functions to use deferred events...

5 years agoMove code out of header file.
Gerd Zellweger [Sun, 7 Dec 2014 19:37:06 +0000]
Move code out of header file.

5 years agoRemove unneeded file (armv5 syscall uses arm/syscall.c)
Gerd Zellweger [Sun, 7 Dec 2014 19:29:15 +0000]
Remove unneeded file (armv5 syscall uses arm/syscall.c)

5 years agoRemove unused variable warning on armv5.
Gerd Zellweger [Sun, 7 Dec 2014 19:28:55 +0000]
Remove unused variable warning on armv5.

5 years agoKaluga added stubs for gem5.
Gerd Zellweger [Sun, 7 Dec 2014 19:17:00 +0000]
Kaluga added stubs for gem5.

5 years agoUpdate gitignore.
Gerd Zellweger [Sun, 7 Dec 2014 16:57:34 +0000]
Update gitignore.

5 years agoAdded binary perfix for corectrl.
Gerd Zellweger [Sun, 7 Dec 2014 14:22:02 +0000]
Added binary perfix for corectrl.

5 years agoMake sure test programs compile again.
Gerd Zellweger [Sun, 7 Dec 2014 12:02:17 +0000]
Make sure test programs compile again.

5 years agoMake sure test programs compile again.
Gerd Zellweger [Sat, 6 Dec 2014 22:29:14 +0000]
Make sure test programs compile again.

5 years agoRemove unused code.
Gerd Zellweger [Sat, 6 Dec 2014 18:14:47 +0000]
Remove unused code.

5 years agoInclude Haskell object files in gitignore.
Gerd Zellweger [Sat, 6 Dec 2014 13:50:01 +0000]
Include Haskell object files in gitignore.

5 years agoRemove unnecessary argument in build_multiboot.c.
Gerd Zellweger [Sat, 6 Dec 2014 13:40:46 +0000]
Remove unnecessary argument in build_multiboot.c.

5 years agoAdd BF_BINARY_PREFIX define to configure binary path by build system.
Gerd Zellweger [Sat, 6 Dec 2014 12:02:33 +0000]
Add BF_BINARY_PREFIX define to configure binary path by build system.

5 years agoFix syntax error in Hakefile.
Gerd Zellweger [Sat, 6 Dec 2014 13:23:28 +0000]
Fix syntax error in Hakefile.

5 years agoCompile bfscope for armv5 and exvlude bench for armv5.
Gerd Zellweger [Thu, 10 Apr 2014 07:18:40 +0000]
Compile bfscope for armv5 and exvlude bench for armv5.

5 years agoRCCE make sure it compiles again.
Gerd Zellweger [Sat, 6 Dec 2014 11:53:37 +0000]
RCCE make sure it compiles again.

5 years agoMake sure replay/slave.c compiles again.
Gerd Zellweger [Sat, 6 Dec 2014 11:52:02 +0000]
Make sure replay/slave.c compiles again.

5 years agoSome armv5 related fixes.
Gerd Zellweger [Fri, 11 Apr 2014 22:02:47 +0000]
Some armv5 related fixes.

Make sure we don't compile pandaboard usb code in gem5.

5 years agoRemove unused armv5 files that do not compile.
Gerd Zellweger [Thu, 10 Apr 2014 07:17:39 +0000]
Remove unused armv5 files that do not compile.

5 years agoRemove dvipd from hyperref.
Gerd Zellweger [Tue, 25 Feb 2014 22:03:38 +0000]
Remove dvipd from hyperref.

5 years agoRemove temporarily generated files from pdflatex.
Gerd Zellweger [Mon, 24 Feb 2014 21:02:28 +0000]
Remove temporarily generated files from pdflatex.

5 years agoMake sure fat_test compiles on x86_64.
Gerd Zellweger [Fri, 21 Feb 2014 07:30:27 +0000]
Make sure fat_test compiles on x86_64.

5 years agoMake sure thc-binding.c compiles (proper C application with main).
Gerd Zellweger [Mon, 17 Feb 2014 07:54:28 +0000]
Make sure thc-binding.c compiles (proper C application with main).

5 years agoMake sure usb libraries compile for x86_64
Gerd Zellweger [Fri, 24 Jan 2014 17:49:48 +0000]
Make sure usb libraries compile for x86_64

5 years agoRemove memsweep.c, file is not needed.
Gerd Zellweger [Thu, 12 Dec 2013 17:15:35 +0000]
Remove memsweep.c, file is not needed.

5 years agoFix compiler errors in pit.c.
Gerd Zellweger [Wed, 5 Mar 2014 15:33:14 +0000]
Fix compiler errors in pit.c.

5 years agoharness: Removed superfluous debug print. release2014-12-10
Simon Gerber [Tue, 9 Dec 2014 13:45:21 +0000]
harness: Removed superfluous debug print.

5 years agoharness: Fixed interactive test not picking up right default timeout.
Simon Gerber [Tue, 9 Dec 2014 13:25:07 +0000]
harness: Fixed interactive test not picking up right default timeout.

5 years agoharness: Added per-machine test timeout.
Simon Gerber [Tue, 9 Dec 2014 12:56:32 +0000]
harness: Added per-machine test timeout.

5 years agoMerge branch 'shoal' of ssh://
Reto Achermann [Tue, 9 Dec 2014 11:42:23 +0000]
Merge branch 'shoal' of ssh:// into shoal

5 years agoupdated submodules
Reto Achermann [Tue, 9 Dec 2014 11:42:05 +0000]
updated submodules

5 years agolibbomp: bugfix removed assertion NYI
Reto Achermann [Tue, 9 Dec 2014 11:40:01 +0000]
libbomp: bugfix removed assertion NYI

5 years agoCleanup of
Reto Achermann [Mon, 8 Dec 2014 17:59:24 +0000]
Cleanup of

Modules in alphabetical order.
Reorganized submodule targets.