Deutsch English Français Italiano |
<vdu69i$4bg$1@rasp.pasdenom.info> View for Bookmarking (what is this?) Look up another Usenet article |
Path: ...!3.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!pasdenom.info!.POSTED.2a01:e0a:472:70f0:5506:8bd1:2825:d8ad!not-for-mail From: DrPi <314@drpi.fr> Newsgroups: comp.lang.ada 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 Organization: <http://pasdenom.info/news.html> Message-ID: <vdu69i$4bg$1@rasp.pasdenom.info> 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> <vdrp8a$5pn$1@rasp.pasdenom.info> <vdsh1i$u392$5@dont-email.me> <vdu4om$t3r$1@rasp.pasdenom.info> MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Sun, 6 Oct 2024 14:19:30 -0000 (UTC) Injection-Info: rasp.pasdenom.info; posting-account="314@usenet"; posting-host="2a01:e0a:472:70f0:5506:8bd1:2825:d8ad"; logging-data="4464"; mail-complaints-to="abuse@pasdenom.info" User-Agent: Mozilla Thunderbird Cancel-Lock: sha1:NDV8YwCRl7QXT3zvD9mlPl4ft9o= sha256:5HqPHIErSFLqTB1ZyySsWF7Yfd1dB/F1ooI+c+ZHQas= sha1:hck8nivGgRYtrrnCDJl4i6WDOas= sha256:x16ZKGzm3SlYfGwn7thJF/JKvDz2WkXPKzij0s06XzY= In-Reply-To: <vdu4om$t3r$1@rasp.pasdenom.info> Content-Language: fr Bytes: 2136 Lines: 17 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.