Sujet : Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant
De : Master_Fontaine_is_dishonest (at) *nospam* Strand_in_London.Gov.UK (Nioclásán Caileán de Ghlostéir)
Groupes : comp.lang.adaDate : 07. Oct 2024, 17:56:31
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <5c5cd9cb-772c-16d7-5a6e-8fdc8bbb20ef@Strand_in_London.Gov.UK>
References : 1 2 3 4 5 6 7 8 9
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"
Date | Sujet | # | | Auteur |
3 Oct 24 | Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 32 | | Fernando Oleo / Irvise |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 31 | | Lawrence D'Oliveiro |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Fernando Oleo / Irvise |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 27 | | Kevin Chadwick |
4 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 26 | | Lawrence D'Oliveiro |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 5 | | Luke A. Guest |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Paul Rubin |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | Lawrence D'Oliveiro |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Luke A. Guest |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 20 | | DrPi |
5 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 18 | | Lawrence D'Oliveiro |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 17 | | DrPi |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | DrPi |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Nioclásán Caileán de Ghlostéir |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 12 | | Luke A. Guest |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 11 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 10 | | Luke A. Guest |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 9 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 5 | | Luke A. Guest |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Luke A. Guest |
12 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 3 | | Luke A. Guest |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 2 | | Chris Townley |
7 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Luke A. Guest |
6 Oct 24 | Re: Ironclad, the hard-Real Time capable POSIX-like kernel written in SPARK/Ada, received an nlnet grant | 1 | | Lawrence D'Oliveiro |