spawn: added handling of spawn flags
authorReto Achermann <acreto@student.ethz.ch>
Thu, 28 Aug 2014 08:06:50 +0000 (10:06 +0200)
committerReto Achermann <acreto@student.ethz.ch>
Thu, 28 Aug 2014 08:06:50 +0000 (10:06 +0200)
commitb9af8f7ec4beb5f2b52dc4d9ed2b0cc612269581
tree4037e8048181f8e0d77fe39ffcba340733f119f1
parent48c0ad5b187997430f355072703d6628900a92ae
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.
14 files changed:
if/spawn.if
include/barrelfish/spawn_client.h
include/elf/elf.h
include/spawndomain/spawndomain.h
lib/barrelfish/spawn_client.c
lib/elf/elf32.c
lib/elf/elf64.c
lib/spawndomain/Hakefile
lib/spawndomain/arch/x86/spawn_arch.c
lib/spawndomain/spawn.c
lib/spawndomain/spawn.h
lib/spawndomain/spawn_omp.c [new file with mode: 0644]
usr/spawnd/service.c
usr/startd/spawn.c