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 : 04. Oct 2024, 22:04:55
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vdphp7$bgk6$3@dont-email.me>
References : 1 2 3
User-Agent : Pan/0.160 (Toresk; )
On Fri, 4 Oct 2024 18:56:58 +0200, Fernando Oleo / Irvise wrote:

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.

Pleased to hear that. ;)

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