From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Luke A. Guest" <laguest@archeia.com>
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 20:46:16 +0100
Organization: A noiseless patient Spider
Message-ID: <vdupe8$1bi2o$1@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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 06 Oct 2024 21:46:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="7a685c8283e4fc785f6aff903e8902b7";
	logging-data="1427544"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+bS3Ompo5ouBC+GKbHN0SQRGcoFS36n20="
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:0gpTFpGjtr0WTMCDeo7HnH55kcc=
In-Reply-To: <vdu4om$t3r$1@rasp.pasdenom.info>
Content-Language: en-US
Xref: news.eternal-september.org comp.lang.ada:66412
List-Id: <comp.lang.ada>

On 06/10/2024 14:53, DrPi wrote:
> Le 06/10/2024 à 01:10, Lawrence D'Oliveiro a écrit :
>> 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.
> MacOS-X is a hybrid kernel. Half way betwwen micro-kernel and monolithic 
> kernel.

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.