Sujet : Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
De : kc-usenet (at) *nospam* chadwicks.me.uk (Kevin Chadwick)
Groupes : comp.lang.adaDate : 04. Oct 2024, 21:52:12
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vdph1c$bf5v$1@dont-email.me>
References : 1 2
User-Agent : PhoNews/3.13.3 (Android/14)
[1] https://ironclad.nongnu.org/
>
It’s not microkernel-based, is it?
Isn't it true that monolithic kernels become more attractive when Cs
problens are removed with micro kernels swapping problems for new problems?
-- Regards, Kc
| Date | Sujet | # | | Auteur |
| 3 Oct 24 |  Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 32 | | Fernando Oleo / Irvise |
| 4 Oct 24 |  Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 31 | | Lawrence D'Oliveiro |
| 4 Oct 24 |    Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
| 4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Fernando Oleo / Irvise |
| 4 Oct 24 |  Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |
| 4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 27 | | Kevin Chadwick |
| 4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 26 | | Lawrence D'Oliveiro |
| 5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 5 | | Luke A. Guest |
| 5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Paul Rubin |
| 5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | Lawrence D'Oliveiro |
| 5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Luke A. Guest |
| 6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |
| 5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 20 | | DrPi |
| 5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
| 6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 18 | | Lawrence D'Oliveiro |
| 6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 17 | | DrPi |
| 6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | DrPi |
| 6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Lawrence D'Oliveiro |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Nioclá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 grant | 12 | | Luke A. Guest |
| 6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 11 | | Lawrence D'Oliveiro |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 10 | | Luke A. Guest |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 9 | | Lawrence D'Oliveiro |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 5 | | Luke A. Guest |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | Lawrence D'Oliveiro |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Luke A. Guest |
| 12 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | Luke A. Guest |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Chris Townley |
| 7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
| 6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |