Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant

[DrPi <314@drpi.fr>]

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...