Path: ...!news.roellig-ltd.de!open-news-network.org!weretis.net!feeder8.news.weretis.net!pasdenom.info!.POSTED.2a01:e0a:472:70f0:5506:8bd1:2825:d8ad!not-for-mail
From: DrPi <314@drpi.fr>
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 15:53:25 +0200
Organization: <http://pasdenom.info/news.html>
Message-ID: <vdu4om$t3r$1@rasp.pasdenom.info>
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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sun, 6 Oct 2024 13:53:26 -0000 (UTC)
Injection-Info: rasp.pasdenom.info; posting-account="314@usenet"; posting-host="2a01:e0a:472:70f0:5506:8bd1:2825:d8ad";
	logging-data="29819"; mail-complaints-to="abuse@pasdenom.info"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:vRfKEFoEQ7oyDANx5Gz0Qz1iUzs= sha256:FX3pI0SRgdg3bmmKikIZMVYF1ktvLuwUAqkRU7ddiU0=
	sha1:7N7kVkuCNrYgQ1qywVGhPpcOKPI= sha256:3I7HeZPbYF1bHPNagZYrJ/OssISn058s8LMqX99hRGs=
Content-Language: fr
In-Reply-To: <vdsh1i$u392$5@dont-email.me>
Bytes: 2633
Lines: 32

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.

> 
>> You should try QNX.
> 
> Was that used in any high-performance situation?
Sure. QNX is designed for hard real time.

> 
>> 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.
Yes, they exist but they are some sort of exception.
Look at linux kernel release logs like this one 
https://www.cnx-software.com/2024/09/16/linux-6-11-release-notable-changes-arm-risc-v-and-mips-architectures/
Most of the log content is about drivers.
And when time comes to debugging a kernel driver...