Re: What is the standard microkernel?

[Andreas Grapentin]

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

-A

> 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
>