From: DrPi <314@drpi.fr>
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 [thread overview]
Message-ID: <vdrp8a$5pn$1@rasp.pasdenom.info> (raw)
In-Reply-To: <vdphqj$bgk6$4@dont-email.me>
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.
next prev parent reply other threads:[~2024-10-05 16:24 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2024-10-03 17:38 Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant Fernando Oleo / Irvise
2024-10-03 22:12 ` Lawrence D'Oliveiro
2024-10-04 10:28 ` Luke A. Guest
2024-10-04 16:56 ` Fernando Oleo / Irvise
2024-10-04 20:04 ` Lawrence D'Oliveiro
2024-10-04 19:52 ` Kevin Chadwick
2024-10-04 20:05 ` Lawrence D'Oliveiro
2024-10-04 22:19 ` Luke A. Guest
2024-10-04 23:55 ` Paul Rubin
2024-10-05 8:11 ` Lawrence D'Oliveiro
2024-10-05 10:47 ` Luke A. Guest
2024-10-05 23:08 ` Lawrence D'Oliveiro
2024-10-05 16:24 ` DrPi [this message]
2024-10-05 16:27 ` Luke A. Guest
2024-10-05 23:10 ` Lawrence D'Oliveiro
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox