1. Forum
  2. Newsgroups
  3. comp.lang.ada

  • Re: Ironclad, the hard-Real Time capable POSIX-like kernel writtenin SPARK/Ada, received an nlnet grant

    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 to comp.lang.ada on Mon Oct 7 17:56:31 2024
    From Newsgroup: 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"
    --- Synchronet 3.20a-Linux NewsLink 1.114