Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Lawrence D'Oliveiro <ldo@nz.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in
 SPARK/Ada, received an nlnet grant
Date: Sun, 6 Oct 2024 21:30:30 -0000 (UTC)
Organization: A noiseless patient Spider
Lines: 7
Message-ID: <vduvhm$1cb85$4@dont-email.me>
References: <vdmkqn$3qbtc$1@dont-email.me> <vdn4rf$3ssv4$10@dont-email.me>
	<vdph1c$bf5v$1@dont-email.me> <vdphqj$bgk6$4@dont-email.me>
	<vdrp8a$5pn$1@rasp.pasdenom.info> <vdsh1i$u392$5@dont-email.me>
	<vdu4om$t3r$1@rasp.pasdenom.info> <vdupe8$1bi2o$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Oct 2024 23:30:31 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2984c2f13757de48e2f7497d28a8ed5d";
	logging-data="1453317"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+QOdEoxT66yT82Nnu9Lz0i"
User-Agent: Pan/0.160 (Toresk; )
Cancel-Lock: sha1:Rx5AieoSRQpmXZb36zPbeQy/R4M=
Bytes: 1501

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.