From mboxrd@z Thu Jan  1 00:00:00 1970
Path: 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: Sat, 5 Oct 2024 23:10:42 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <vdsh1i$u392$5@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Oct 2024 01:10:43 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="2984c2f13757de48e2f7497d28a8ed5d";
	logging-data="986402"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+kMMbIg8FBh59zU9DvNr0r"
User-Agent: Pan/0.160 (Toresk; )
Cancel-Lock: sha1:Jf4WWXdOge7hOM1nRFuI8Ge0/Ko=
Xref: news.eternal-september.org comp.lang.ada:66409
List-Id: <comp.lang.ada>

On Sat, 5 Oct 2024 18:24:39 +0200, DrPi wrote:

> Le 04/10/2024 à 22:05, Lawrence D'Oliveiro a écrit :
>
>> The microkernel proponents still seem to think there is a point to
>> their idea, even after decades of real-world experience to the
>> contrary.
>
> Any evidence of this assertion ?

Look around you, at what happened when people tried to use microkernels in 
real-world situations. I think Apple tried to use one in its “macOS” (née 
“OS X”), and performance suffered as a result.

> You should try QNX.

Was that used in any high-performance situation?

> Also, you don't have to recompile the kernel each time a driver needs to
> be recompiled.

Linux has supported loadable modules for maybe 30 years now.