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

Liste des GroupesRevenir à cl ada 
Sujet : Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
De : laguest (at) *nospam* archeia.com (Luke A. Guest)
Groupes : comp.lang.ada
Date : 05. Oct 2024, 18:27:44
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <vdrpe0$qmuu$1@dont-email.me>
References : 1 2 3 4 5
User-Agent : Mozilla Thunderbird
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.

Date Sujet#  Auteur
3 Oct 24 * Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant32Fernando Oleo / Irvise
4 Oct 24 `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant31Lawrence D'Oliveiro
4 Oct 24  +- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Luke A. Guest
4 Oct 24  +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Fernando Oleo / Irvise
4 Oct 24  i`- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Lawrence D'Oliveiro
4 Oct 24  `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant27Kevin Chadwick
4 Oct 24   `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant26Lawrence D'Oliveiro
5 Oct 24    +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant5Luke A. Guest
5 Oct 24    i+- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Paul Rubin
5 Oct 24    i`* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant3Lawrence D'Oliveiro
5 Oct 24    i `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Luke A. Guest
6 Oct 24    i  `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Lawrence D'Oliveiro
5 Oct 24    `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant20DrPi
5 Oct 24     +- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Luke A. Guest
6 Oct 24     `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant18Lawrence D'Oliveiro
6 Oct 24      `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant17DrPi
6 Oct 24       +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant3DrPi
6 Oct 24       i`* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Lawrence D'Oliveiro
7 Oct 24       i `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Nioclásán Caileán de Ghlostéir
6 Oct 24       +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant12Luke A. Guest
6 Oct 24       i`* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant11Lawrence D'Oliveiro
7 Oct 24       i `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant10Luke A. Guest
7 Oct 24       i  `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant9Lawrence D'Oliveiro
7 Oct 24       i   +* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant5Luke A. Guest
7 Oct 24       i   i+- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Luke A. Guest
7 Oct 24       i   i`* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant3Lawrence D'Oliveiro
7 Oct 24       i   i `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Luke A. Guest
12 Oct 24       i   i  `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Lawrence D'Oliveiro
7 Oct 24       i   `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant3Luke A. Guest
7 Oct 24       i    `* Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant2Chris Townley
7 Oct 24       i     `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Luke A. Guest
6 Oct 24       `- Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant1Lawrence D'Oliveiro

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal