Path: ...!news.nobody.at!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
Newsgroups: comp.lang.ada
Subject: Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in
 SPARK/Ada, received an nlnet grant
Date: Sat, 5 Oct 2024 11:47:41 +0100
Organization: A noiseless patient Spider
Lines: 21
Message-ID: <vdr5gd$nteg$1@dont-email.me>
References: <vdmkqn$3qbtc$1@dont-email.me> <vdn4rf$3ssv4$10@dont-email.me>
 <vdph1c$bf5v$1@dont-email.me> <vdphqj$bgk6$4@dont-email.me>
 <vdppkt$cvud$1@dont-email.me> <vdqsav$mihr$4@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 05 Oct 2024 12:47:41 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8a51513859acb765ef87f103ba620d3c";
	logging-data="783824"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19ByZmg0bcOCy1asi1wBbK8uMLXVvNbMf0="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:qKCff9Yap2rtKvqyjN+2nj3N/zI=
Content-Language: en-US
In-Reply-To: <vdqsav$mihr$4@dont-email.me>
Bytes: 2093

On 05/10/2024 09:11, Lawrence D'Oliveiro wrote:
> On Fri, 4 Oct 2024 23:19:09 +0100, Luke A. Guest wrote:
> 
>> On 04/10/2024 21:05, Lawrence D'Oliveiro wrote:
>>
>>> The microkernel proponents still seem to think there is a point to
>>> their idea, even after decades of real-world experience to the
>>> contrary.
>>
>> L4 have years of sticking a middle finger up at that.
> 
> L4 is supposedly being used as the basis of the GNU Hurd kernel.
> Development of that started around the same time as Linux. There are grown
> adults walking the Earth right now who weren’t even born at that time,
> many of them now using Linux for production work, and Hurd still isn’t
> ready for prime time.

Hurd is never going to happen, because they keep starting, stopping, 
changing kernels, etc.

Anyway, I'm not really interested in yet another nix.