Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant

Liste des GroupesRevenir à cl ada 
Sujet : Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
De : laguest (at) *nospam* archeia.com (Luke A. Guest)
Groupes : comp.lang.ada
Date : 07. Oct 2024, 16:13:09
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ve0q9l$1o9fn$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13
User-Agent : Mozilla Thunderbird
On 07/10/2024 11:25, Chris Townley wrote:
On 07/10/2024 09:22, Luke A. Guest wrote:
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.
 He is just trolling!
 
I know. I just I'd point him in the right direction and see if he dare go there.

Date Sujet#  Auteur
3 Oct 24 * Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant32Fernando Oleo / Irvise
4 Oct 24 `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant31Lawrence D'Oliveiro
4 Oct 24  +- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Luke A. Guest
4 Oct 24  +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Fernando Oleo / Irvise
4 Oct 24  i`- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Lawrence D'Oliveiro
4 Oct 24  `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant27Kevin Chadwick
4 Oct 24   `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant26Lawrence D'Oliveiro
5 Oct 24    +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant5Luke A. Guest
5 Oct 24    i+- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Paul Rubin
5 Oct 24    i`* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant3Lawrence D'Oliveiro
5 Oct 24    i `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Luke A. Guest
6 Oct 24    i  `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Lawrence D'Oliveiro
5 Oct 24    `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant20DrPi
5 Oct 24     +- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Luke A. Guest
6 Oct 24     `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant18Lawrence D'Oliveiro
6 Oct 24      `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant17DrPi
6 Oct 24       +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant3DrPi
6 Oct 24       i`* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Lawrence D'Oliveiro
7 Oct 24       i `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Nioclásán Caileán de Ghlostéir
6 Oct 24       +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant12Luke A. Guest
6 Oct 24       i`* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant11Lawrence D'Oliveiro
7 Oct 24       i `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant10Luke A. Guest
7 Oct 24       i  `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant9Lawrence D'Oliveiro
7 Oct 24       i   +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant5Luke A. Guest
7 Oct 24       i   i+- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Luke A. Guest
7 Oct 24       i   i`* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant3Lawrence D'Oliveiro
7 Oct 24       i   i `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Luke A. Guest
12 Oct 24       i   i  `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Lawrence D'Oliveiro
7 Oct 24       i   `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant3Luke A. Guest
7 Oct 24       i    `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Chris Townley
7 Oct 24       i     `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Luke A. Guest
6 Oct 24       `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Lawrence D'Oliveiro

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal