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.adaDate : 07. Oct 2024, 11:33:50
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <ve09tu$1l5di$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12
User-Agent : Mozilla Thunderbird
On 07/10/2024 09:21, Luke A. Guest wrote:
After 40 or more years trying to tout the idea, it’s time to give up.
I already said, L4. But you don't want to listen you just want to slag off something you don't or won't understand and bang on about Linux, which was always meant to be a server OS, not a desktop one.
There's also MorphOS which is based on L3.
| 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 |