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: Fri, 4 Oct 2024 11:28:27 +0100
Organization: A noiseless patient Spider
Message-ID: <vdog0b$6i2v$1@dont-email.me>
References: <vdmkqn$3qbtc$1@dont-email.me> <vdn4rf$3ssv4$10@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 04 Oct 2024 12:28:27 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="a7e0f55e93e50017f74322bcdaae9cd8";
	logging-data="215135"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19w7Wnwm9F+PHjKx4+imYnLNXX5/Lkvxss="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:DM/EE7IAySrn8aKWqEGUigV840k=
Content-Language: en-US
In-Reply-To: <vdn4rf$3ssv4$10@dont-email.me>
Xref: news.eternal-september.org comp.lang.ada:66396
List-Id: <comp.lang.ada>

On 03/10/2024 23: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?

That's something I intend to work on soon.