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

["Luke A. Guest" <laguest@archeia.com>]

On 05/10/2024 17:24, DrPi wrote:
> 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.

Yeah, QNX was solid. Had the source at one point.