[PATCH gnumach] 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. ---

Re: [PATCH] Update NEWS file

On Wed, Sep 24, 2014 at 6:37 PM, Samuel Thibault wrote: > Ack. > > Justus Winter, le Wed 24 Sep 2014 15:05:06 +0200, a écrit : >> --- >> NEWS | 22 ++ >> 1 file changed, 22 insertions(+) >> >> diff --git a/NEWS b/NEWS >> index 72a2e2d..b047aed 100644 >> --- a/NEWS >> +++ b/NEW