| #
9bd8d1d5 |
|
03-Apr-2019 |
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>
|
| #
e550c664 |
|
31-Aug-2014 |
Reto Achermann <acreto@student.ethz.ch> |
libspawndomain: added functions for symbol parsing and
registring/querying/caching
|
| #
b9af8f7e |
|
28-Aug-2014 |
Reto Achermann <acreto@student.ethz.ch> |
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.
|
| #
9299dcef |
|
08-Jul-2011 |
Stefan Kästle <stefan.kaestle@inf.ethz.ch> |
Initial version of public stable barrelfish repository.
|