From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
Date: Mon, 7 Oct 2024 09:22:48 +0100 [thread overview]
Message-ID: <ve05oo$1l5di$2@dont-email.me> (raw)
In-Reply-To: <vdv7ki$1dc01$12@dont-email.me>
On 07/10/2024 00:48, Lawrence D'Oliveiro wrote:
> After 40 or more years trying to tout the idea, it’s time to give up.
Why are you wanging on about this on an Ada group? Try this on
alt.os.development.
next prev parent reply other threads:[~2024-10-07 8:22 UTC|newest]
Thread overview: 32+ 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
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
2024-10-06 13:53 ` DrPi
2024-10-06 14:19 ` DrPi
2024-10-06 21:29 ` Lawrence D'Oliveiro
2024-10-07 15:56 ` Nioclásán Caileán de Ghlostéir
2024-10-06 19:46 ` Luke A. Guest
2024-10-06 21:30 ` Lawrence D'Oliveiro
2024-10-06 23:02 ` Luke A. Guest
2024-10-06 23:48 ` Lawrence D'Oliveiro
2024-10-07 8:21 ` Luke A. Guest
2024-10-07 9:33 ` Luke A. Guest
2024-10-07 20:30 ` Lawrence D'Oliveiro
2024-10-07 20:47 ` Luke A. Guest
2024-10-11 23:25 ` Lawrence D'Oliveiro
2024-10-07 8:22 ` Luke A. Guest [this message]
2024-10-07 10:25 ` Chris Townley
2024-10-07 14:13 ` Luke A. Guest
2024-10-06 21:25 ` 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