From: Lawrence D'Oliveiro <ldo@nz.invalid>
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) [thread overview]
Message-ID: <vdsh1i$u392$5@dont-email.me> (raw)
In-Reply-To: vdrp8a$5pn$1@rasp.pasdenom.info
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.
prev parent reply other threads:[~2024-10-05 23:10 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
2024-10-05 16:27 ` Luke A. Guest
2024-10-05 23:10 ` Lawrence D'Oliveiro [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox