summaryrefslogtreecommitdiff
path: root/kern/ipc_mig.h
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-26 17:24:00 +0200
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-09-26 17:24:00 +0200
commitdd2b22a787420e4b9d74e2778961b14f59293c91 (patch)
tree7b7c4edbb0e18449234b17190db808898e033a35 /kern/ipc_mig.h
parent1c9bbcccfabbb451234d5a07f872b13d3278276e (diff)
kern: create send rights as they are inserted at bootstrap time
Previously, it was impossible to hand e.g. the master device port to more than one bootstrap task. Fix this by creating the send right as it is inserted into the target task. * kern/bootstrap.c (bootstrap_create): Do not create the send rights here... (boot_script_insert_right): ... but here.
Diffstat (limited to 'kern/ipc_mig.h')
0 files changed, 0 insertions, 0 deletions