I haven’t found the time to examine it closely for several years now, but after ...

mananaysiempre on Nov 19, 2022 | parent | context | favorite | on: HelenOS: a microkernel-based, multiserver OS from ...

I haven’t found the time to examine it closely for several years now, but after finally skimming a couple of chapters of the Foundations book (thanks!) it looks like a classic multiserver to me.