From: Fernando Oleo / Irvise <irvise_ml@irvise.xyz>
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 [thread overview]
Message-ID: <vdp6oq$9ull$1@dont-email.me> (raw)
In-Reply-To: <vdn4rf$3ssv4$10@dont-email.me>
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
next prev parent reply other threads:[~2024-10-04 16:56 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-10-03 17:38 Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant Fernando Oleo / Irvise
2024-10-03 22:12 ` Lawrence D'Oliveiro
2024-10-04 10:28 ` Luke A. Guest
2024-10-04 16:56 ` Fernando Oleo / Irvise [this message]
2024-10-04 20:04 ` Lawrence D'Oliveiro
2024-10-04 19:52 ` Kevin Chadwick
2024-10-04 20:05 ` Lawrence D'Oliveiro
2024-10-04 22:19 ` Luke A. Guest
2024-10-04 23:55 ` Paul Rubin
2024-10-05 8:11 ` Lawrence D'Oliveiro
2024-10-05 10:47 ` Luke A. Guest
2024-10-05 23:08 ` Lawrence D'Oliveiro
2024-10-05 16:24 ` DrPi
2024-10-05 16:27 ` Luke A. Guest
2024-10-05 23:10 ` Lawrence D'Oliveiro
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox