Re: [PATCH gnumach] kern: create send rights as they are inserted at bootstrap time

2014-09-28 Thread Samuel Thibault
Justus Winter, le Fri 26 Sep 2014 17:30:07 +0200, a écrit : > 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. Ack. > * kern/bootstrap.c (bootstrap_create): Do not cr

[PATCH gnumach] kern: create send rights as they are inserted at bootstrap time

2014-09-26 Thread Justus Winter
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. ---