[Top][All Lists]

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

Re: What is the standard microkernel?

From: Andreas Grapentin
Subject: Re: What is the standard microkernel?
Date: Fri, 20 Jan 2023 15:38:35 +0100

FWIW, last year I did compile the Hurd on L4, so it’s still possible to play 
around with.


> On 20. Jan 2023, at 15:35, Richard Braun <rbraun@sceen.net> wrote:
> On Fri, Jan 20, 2023 at 08:40:53AM +0000, Dr. Bas Wijnen wrote:
>> This project has been dead for years, so I'm not sure if anyone is still
>> reading this list. I still think it would be cool to have a GNU system 
>> running
>> on a microkernel, but there clearly isn't enough motivation in the community 
>> to
>> make it happen. (We tried, but didn't get it working well enough to make it
>> usable; now for a long time nobody has even been trying.)
>> So while I wish you luck with your project (it sounds like fun!), I don't 
>> think
>> people on this list can give you much advice about it. I'm guessing lots of 
>> us
>> aren't even subscribed anymore.
>> So for advice, I'm afraid you'll need to look elsewhere.
> Hello,
> I'm sure people still read this list, as I do, but there isn't much to
> say. There is no standard kernel. The de-facto standard is GNU Mach
> because it's the only one in use, the only one people really work on
> that we know of. And that's it.
> For more, this project would have to be revived.
> -- 
> Richard Braun

reply via email to

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