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
