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 : ldo (at) *nospam* nz.invalid (Lawrence D'Oliveiro)
Groupes : comp.lang.ada
Date : 12. Oct 2024, 01:25:56
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vecc64$3r6ms$19@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14
User-Agent : Pan/0.160 (Toresk; )
On Mon, 7 Oct 2024 21:47:18 +0100, Luke A. Guest wrote:

On 07/10/2024 21:30, Lawrence D'Oliveiro wrote:
>
On Mon, 7 Oct 2024 09:21:26 +0100, 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.
>
I already said, L4.
 
The one that Hurd has been trying to use, without success.
 
Has anybody else made production use of it?
 
I already said in another message, about L3.

This is L4 we’re talking about, not L3.

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