From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Fernando Oleo / Irvise <irvise_ml@irvise.xyz>
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 18:56:58 +0200
Organization: A noiseless patient Spider
Message-ID: <vdp6oq$9ull$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 18:56:59 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="4f5c8e6438c5c958e0b15c65841045de";
	logging-data="326325"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+S5WsmeES3AjswjEeM+lEB"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:VL+qS6y7Q2rF+UK1ZWYvKQMrwWc=
In-Reply-To: <vdn4rf$3ssv4$10@dont-email.me>
Content-Language: en-US
Xref: news.eternal-september.org comp.lang.ada:66397
List-Id: <comp.lang.ada>

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. It is able to run quite a few *NIX 
applications. You can check the Gloire distribution [1] to test it out :)

If you are interested in microkernels written in Ada, see [2]

[1] https://github.com/Ironclad-Project/Gloire
[2] https://github.com/ohenley/awesome-ada?tab=readme-ov-file#os-and-kernels

Best regards,
Fer