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 : 05. Oct 2024, 11:47:41
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vdr5gd$nteg$1@dont-email.me>
References : 1 2 3 4 5 6
User-Agent : Mozilla Thunderbird
On 05/10/2024 09:11, Lawrence D'Oliveiro wrote:
On Fri, 4 Oct 2024 23:19:09 +0100, Luke A. Guest wrote:
On 04/10/2024 21:05, Lawrence D'Oliveiro wrote:
>
The microkernel proponents still seem to think there is a point to
their idea, even after decades of real-world experience to the
contrary.
>
L4 have years of sticking a middle finger up at that.
L4 is supposedly being used as the basis of the GNU Hurd kernel.
Development of that started around the same time as Linux. There are grown
adults walking the Earth right now who weren’t even born at that time,
many of them now using Linux for production work, and Hurd still isn’t
ready for prime time.
Hurd is never going to happen, because they keep starting, stopping, changing kernels, etc.
Anyway, I'm not really interested in yet another nix.
| 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 |