From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Kevin Chadwick <kc-usenet@chadwicks.me.uk>
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 19:52:12 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <vdph1c$bf5v$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 21:52:12 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="b7972f817cabf94f37da3fd7579fb8db";
	logging-data="375999"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX180Zz91lXpQdbum1zUwWd7Towa7Mkp1MK8="
User-Agent: PhoNews/3.13.3 (Android/14)
Cancel-Lock: sha1:wRnV9zVldIVQ0jiYlEdsaUC4Ig4=
In-Reply-To: <vdn4rf$3ssv4$10@dont-email.me>
Xref: news.eternal-september.org comp.lang.ada:66398
List-Id: <comp.lang.ada>

>> [1] https://ironclad.nongnu.org/
>
>It’s not microkernel-based, is it?

Isn't it true that monolithic kernels become more attractive when Cs
 problens are removed with micro kernels swapping problems for new problems?

-- 
Regards, Kc