Path: ...!weretis.net!feeder9.news.weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.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: Fri, 11 Oct 2024 23:25:56 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 19
Message-ID: <vecc64$3r6ms$19@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>
	<vdrp8a$5pn$1@rasp.pasdenom.info> <vdsh1i$u392$5@dont-email.me>
	<vdu4om$t3r$1@rasp.pasdenom.info> <vdupe8$1bi2o$1@dont-email.me>
	<vduvhm$1cb85$4@dont-email.me> <vdv4ua$1d908$1@dont-email.me>
	<vdv7ki$1dc01$12@dont-email.me> <ve05m6$1l5di$1@dont-email.me>
	<ve1gdq$1rd13$4@dont-email.me> <ve1hcm$1rknv$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 12 Oct 2024 01:25:56 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="c5355a95aaf967e5c35c649cc5a0b328";
	logging-data="4037340"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+BOaMYulQRvP8WPL9LSIR9"
User-Agent: Pan/0.160 (Toresk; )
Cancel-Lock: sha1:xSaubAJ2SlxNKZIhrHXhhAQGibY=
Bytes: 2014

On Mon, 7 Oct 2024 21:47:18 +0100, Luke A. Guest wrote:

> On 07/10/2024 21:30, Lawrence D'Oliveiro wrote:
>
>> On Mon, 7 Oct 2024 09:21:26 +0100, Luke A. Guest wrote:
>> 
>>> On 07/10/2024 00:48, Lawrence D'Oliveiro wrote:
>>>
>>>> After 40 or more years trying to tout the idea, it’s time to give up.
>>>
>>> I already said, L4.
>> 
>> The one that Hurd has been trying to use, without success.
>> 
>> Has anybody else made production use of it?
> 
> I already said in another message, about L3.

This is L4 we’re talking about, not L3.