On Saturday, 12 September 2020 05:52:48 CEST arnuld wrote: > > Regarding L4 and Pistachio kernels, other developers (yes, excellent ones) > did try to replace Hurd with Pistachio and other L4-kernels from > https://www.l4ka.org/ but design of kernel and technical constraints made > them drop this idea.
I asked previously about whether anyone noticed that Fiasco had gained support for capabilities and got nothing substantial back in response, other than perhaps an implicit acknowledgement that people probably hadn't noticed. Certainly, the OC variant of Fiasco has been around for at least ten years, so perhaps you might be able to shed some more light on whether its availability alleviated any of the various "technical constraints". Paul
