From mboxrd@z Thu Jan  1 00:00:00 1970
Path: 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: Mon, 7 Oct 2024 15:13:09 +0100
Organization: A noiseless patient Spider
Message-ID: <ve0q9l$1o9fn$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>
 <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> <ve05oo$1l5di$2@dont-email.me>
 <ve0cvh$1lnhc$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Mon, 07 Oct 2024 16:13:10 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="9dba679a357b26871a0caf2eb4e4660b";
	logging-data="1844727"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1/EtmIcE5jpH1JawWamTqj/wxaMCqCldoU="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Dk+JUH/ZQ2iWtM0iFPPImiNgEq0=
Content-Language: en-US
In-Reply-To: <ve0cvh$1lnhc$1@dont-email.me>
Xref: news.eternal-september.org comp.lang.ada:66422
List-Id: <comp.lang.ada>

On 07/10/2024 11:25, Chris Townley wrote:
> On 07/10/2024 09:22, 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.
>>
>> Why are you wanging on about this on an Ada group? Try this on 
>> alt.os.development.
> 
> He is just trolling!
> 

I know. I just I'd point him in the right direction and see if he dare 
go there.