Re: What is the standard microkernel?

Paul Boddie <[email protected]> Fri, 20 Jan 2023 17:42:50 +0100

Newsgroups	gmane.os.hurd.l4
Message-ID	<2089603.uz7Hd6pbO1@jason>

On Friday, 20 January 2023 15:00:46 CET William ML Leslie wrote:
> The trickiest part for me so far was the fact that mach ports are
> refcounted and you can get notifications when the sender is gone or when
> all the listeners are gone; to do this reliably on simpler microkernels you
> need to have some other service keep track of that information.

Fiasco.OC provides notifications when IPC gates are no longer referenced.

Paul