Path: ...!fu-berlin.de!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Paul Rubin <no.email@nospam.invalid>
Newsgroups: comp.lang.ada
Subject: Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
Date: Fri, 04 Oct 2024 16:55:26 -0700
Organization: A noiseless patient Spider
Lines: 5
Message-ID: <87ldz3v2xd.fsf@nightsong.com>
References: <vdmkqn$3qbtc$1@dont-email.me> <vdn4rf$3ssv4$10@dont-email.me>
	<vdph1c$bf5v$1@dont-email.me> <vdphqj$bgk6$4@dont-email.me>
	<vdppkt$cvud$1@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain
Injection-Date: Sat, 05 Oct 2024 01:55:27 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="75d22a2dd88c12a998587ebd9f796890";
	logging-data="474929"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX19ckvVwEASLJdlxL315857l"
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux)
Cancel-Lock: sha1:Ijm9okdX9CHC+fp8hqJFAF0OPgA=
	sha1:E97N7wAw+gOz33YPFbwMEO/7ixE=
Bytes: 1312

"Luke A. Guest" <laguest@archeia.com> writes:
> L4 have years of sticking a middle finger up at that.

I also have to wonder whether hypervisors count as microkernels.
Everyone is using them now.