From: "Luke A. Guest" <laguest@archeia.com>
Subject: Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
Date: Sat, 5 Oct 2024 11:47:41 +0100 [thread overview]
Message-ID: <vdr5gd$nteg$1@dont-email.me> (raw)
In-Reply-To: <vdqsav$mihr$4@dont-email.me>
On 05/10/2024 09:11, Lawrence D'Oliveiro wrote:
> On Fri, 4 Oct 2024 23:19:09 +0100, Luke A. Guest wrote:
>
>> On 04/10/2024 21:05, Lawrence D'Oliveiro wrote:
>>
>>> The microkernel proponents still seem to think there is a point to
>>> their idea, even after decades of real-world experience to the
>>> contrary.
>>
>> L4 have years of sticking a middle finger up at that.
>
> L4 is supposedly being used as the basis of the GNU Hurd kernel.
> Development of that started around the same time as Linux. There are grown
> adults walking the Earth right now who weren’t even born at that time,
> many of them now using Linux for production work, and Hurd still isn’t
> ready for prime time.
Hurd is never going to happen, because they keep starting, stopping,
changing kernels, etc.
Anyway, I'm not really interested in yet another nix.
next prev parent reply other threads:[~2024-10-05 10:47 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 [this message]
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
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox