Joel Roth via Dng - 05.08.22, 21:56:01 CEST:
> On Fri, Aug 05, 2022 at 03:05:54PM +0000, jkinney23--- via Dng wrote:
> > On Thursday, August 4, 2022, 02:53:33 p.m. PDT, Bruce Perens via
> > Dng <dng@???> wrote:
> > > I haven't followed more modern experimental operating systems.
> > > Mostly you don't hear as much about them these days, I think a
> > > lot of researchers use an existing Open Source OS as a base for
> > > some specific facility.>
> > That's a little disheartening to hear. I have been trying to find a
> > program in Canada where I can go study operating systems. Is there
> > no one anywhere doing serious OS research anymore? ...I guess I
> > will stay with Youtube and the Devuan mailing list then :)
>
> Jöchen Liedke, who died a few years ago, was doing some
> interesting work: the L3 operating system, leading
> to the L4 microkernel and hypervisor framework.
> Looks like Pistachio is the latest, without much
> recent activity.
>
> https://l4ka.org/
>
> The L4Linux project is still active:
>
> https://l4linux.org/

Also Genode and SculptOS are being actively developed.

https://genode.org/

https://genode.org/download/sculpt

I did not review those yet.

They have mailinglists:

https://genode.org/community/mailing-lists

Best,
--
Martin