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.adaDate : 06. Oct 2024, 22:30:30
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vduvhm$1cb85$4@dont-email.me>
References : 1 2 3 4 5 6 7 8
User-Agent : Pan/0.160 (Toresk; )
On Sun, 6 Oct 2024 20:46:16 +0100, Luke A. Guest wrote:
MacOS uses Mach which is well known for being a terrible implementation
of the microkernel, that's why it's a hybrid, same reason NT got changed
into a hybrid too.
And yet they are both still outperformed by Linux on the same hardware.