diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-26 17:24:00 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-26 17:24:00 +0200 |
| commit | dd2b22a787420e4b9d74e2778961b14f59293c91 (patch) | |
| tree | 7b7c4edbb0e18449234b17190db808898e033a35 /kern/ipc_mig.h | |
| parent | 1c9bbcccfabbb451234d5a07f872b13d3278276e (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