From mboxrd@z Thu Jan  1 00:00:00 1970
Path: eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: =?UTF-8?Q?Niocl=C3=A1s=C3=A1n_Caile=C3=A1n_de_Ghlost=C3=A9ir?= <Master_Fontaine_is_dishonest@Strand_in_London.Gov.UK>
Newsgroups: comp.lang.ada
Subject: Re: Ironclad, the hard-Real Time capable POSIX-like kernel written
 in SPARK/Ada, received an nlnet grant
Date: Mon, 7 Oct 2024 17:56:31 +0200
Organization: A noiseless patient Spider
Message-ID: <5c5cd9cb-772c-16d7-5a6e-8fdc8bbb20ef@Strand_in_London.Gov.UK>
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> <vdu69i$4bg$1@rasp.pasdenom.info>
 <vduvg3$1cb85$3@dont-email.me>
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Injection-Date: Mon, 07 Oct 2024 17:56:40 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="8fc947759ba64b959f2d5503ff74a47c";
	logging-data="1873093"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX18Rp3ztd29/rCoNt5Mxz5T2szMc5kppm7BGOfzv76ZsRQ=="
Cancel-Lock: sha1:m+a8BbpW05uzBa6rM4dkviHIItc=
In-Reply-To: <vduvg3$1cb85$3@dont-email.me>
Xref: news.eternal-september.org comp.lang.ada:66423
List-Id: <comp.lang.ada>

On Sun, 6 Oct 2024, Lawrence D'Oliveiro wrote:
"On Sun, 6 Oct 2024 16:19:29 +0200, DrPi wrote:

> Oh, I forgot, Minix (which is a micro-kernel OS) is embedded is every
> Intel x86 processor.

Bad example. <https://www.theregister.com/2018/08/29/intel_jtag_flaw/>
"


Hello.

I wrote in "Four gigabytes of RAM but "Not enough core" during 
installation" in news:g77u2n$mfs$1@aioe.org in news:comp.os.minix  16 
years ago in 2008:
"Dear all,
On a computer with four gigabytes of RAM, I booted
Minix_IDE-3.1.2a.iso which reported
"[..]
Physical memory: total 6196 KB, system 5700 KB, free 496 KB.
[..]
/etc/rc: /bin/service: Not enough core
[..]"
for the standard >= 16 MB RAM installation option,
and it reported a total of less than 2000 KB for
the 8192 KB RAM installation option, again moaning
"Not enough core".

Do you have any suggestions?

With kind regards,
Nick Paul Colin Gloster"