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: Fri, 4 Oct 2024 20:04:55 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <vdphp7$bgk6$3@dont-email.me>
References: <vdmkqn$3qbtc$1@dont-email.me> <vdn4rf$3ssv4$10@dont-email.me>
	<vdp6oq$9ull$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 04 Oct 2024 22:04:56 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="53e6a1f358fb9450cb41203dd8d281a9";
	logging-data="377478"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX192ftyLL/Z6XP9LotY+IyPe"
User-Agent: Pan/0.160 (Toresk; )
Cancel-Lock: sha1:XdUZjY6ZDgKH1y+xObR057bGnaM=
Xref: news.eternal-september.org comp.lang.ada:66399
List-Id: <comp.lang.ada>

On Fri, 4 Oct 2024 18:56:58 +0200, Fernando Oleo / Irvise wrote:

> On 10/4/24 00:12, Lawrence D'Oliveiro wrote:
>>
>> On Thu, 3 Oct 2024 19:38:31 +0200, Fernando Oleo / Irvise wrote:
>> 
>>> [1] https://ironclad.nongnu.org/
>> 
>> It’s not microkernel-based, is it?
> 
> AFAIK, no. It is POSIX-based/like.

Pleased to hear that. ;)