Path: ...!news.mixmin.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!pasdenom.info!.POSTED.2a01:e0a:472:70f0:907a:9b64:eb73:7734!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: Sat, 5 Oct 2024 18:24:39 +0200
Organization: <http://pasdenom.info/news.html>
Message-ID: <vdrp8a$5pn$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>
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Date: Sat, 5 Oct 2024 16:24:42 -0000 (UTC)
Injection-Info: rasp.pasdenom.info; posting-account="314@usenet"; posting-host="2a01:e0a:472:70f0:907a:9b64:eb73:7734";
	logging-data="5943"; mail-complaints-to="abuse@pasdenom.info"
User-Agent: Mozilla Thunderbird
Cancel-Lock: sha1:Kg/JE9b46qmtG2OtlRCE4WR7/Us= sha256:l2+VowcwkormYTiDLDHwjroDaEIE2m38Z3cQDVm6T+A=
	sha1:7cRey6I7Buy8bcP9o/pjvGYrXKQ= sha256:AsmU4cK8dm7Wk4ZcKC/WxLgDpXtv/JuF58U0MS4GDbo=
Content-Language: en-US
In-Reply-To: <vdphqj$bgk6$4@dont-email.me>
Bytes: 2044
Lines: 16

Le 04/10/2024 à 22:05, Lawrence D'Oliveiro a écrit :
> On Fri, 4 Oct 2024 19:52:12 -0000 (UTC), Kevin Chadwick wrote:
> 
>> Isn't it true that monolithic kernels become more attractive when Cs
>> problens are removed with micro kernels swapping problems for new
>> problems?
> 
> 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 ?

You should try QNX.
My experience with QNX shows that it is far more stable than monolithic 
kernels since buggy drivers can't cause the kernel to panic.
Also, you don't have to recompile the kernel each time a driver needs to 
be recompiled.
I have many other arguments against monolithic kernels.