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: Sun, 6 Oct 2024 16:19:29 +0200 [thread overview]
Message-ID: <vdu69i$4bg$1@rasp.pasdenom.info> (raw)
In-Reply-To: <vdu4om$t3r$1@rasp.pasdenom.info>
Le 06/10/2024 à 15:53, DrPi a écrit :
> 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.
Oh, I forgot, Minix (which is a micro-kernel OS) is embedded is every
Intel x86 processor.
next prev parent reply other threads:[~2024-10-06 14:19 UTC|newest]
Thread overview: 32+ 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
2024-10-06 13:53 ` DrPi
2024-10-06 14:19 ` DrPi [this message]
2024-10-06 21:29 ` Lawrence D'Oliveiro
2024-10-07 15:56 ` Nioclásán Caileán de Ghlostéir
2024-10-06 19:46 ` Luke A. Guest
2024-10-06 21:30 ` Lawrence D'Oliveiro
2024-10-06 23:02 ` Luke A. Guest
2024-10-06 23:48 ` Lawrence D'Oliveiro
2024-10-07 8:21 ` Luke A. Guest
2024-10-07 9:33 ` Luke A. Guest
2024-10-07 20:30 ` Lawrence D'Oliveiro
2024-10-07 20:47 ` Luke A. Guest
2024-10-11 23:25 ` Lawrence D'Oliveiro
2024-10-07 8:22 ` Luke A. Guest
2024-10-07 10:25 ` Chris Townley
2024-10-07 14:13 ` Luke A. Guest
2024-10-06 21:25 ` 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