[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: What is the standard microkernel?

From: Paul Boddie
Subject: Re: What is the standard microkernel?
Date: Fri, 20 Jan 2023 17:42:50 +0100

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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]