From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
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 08:11:12 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <vdqsav$mihr$4@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 05 Oct 2024 10:11:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="afd4a43005508c01c783914c8e846b23";
	logging-data="739899"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX193xB/iwPAxqyRSI0HV6sxB"
User-Agent: Pan/0.160 (Toresk; )
Cancel-Lock: sha1:uGlAVaWAaB6KrkQ86CjKyOoLu48=
Xref: news.eternal-september.org comp.lang.ada:66403
List-Id: <comp.lang.ada>

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.