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

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

    From Paul Rubin@no.email@nospam.invalid to comp.lang.ada on Fri Oct 4 16:55:26 2024
    From Newsgroup: comp.lang.ada

    "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.
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Lawrence D'Oliveiro@ldo@nz.invalid to comp.lang.ada on Sun Oct 6 21:29:39 2024
    From Newsgroup: comp.lang.ada

    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/>
    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Luke A. Guest@laguest@archeia.com to comp.lang.ada on Mon Oct 7 10:33:50 2024
    From Newsgroup: comp.lang.ada

    On 07/10/2024 09:21, Luke A. Guest wrote:
    After 40 or more years trying to tout the idea, it’s time to give up.

    I already said, L4. But you don't want to listen you just want to slag
    off something you don't or won't understand and bang on about Linux,
    which was always meant to be a server OS, not a desktop one.

    There's also MorphOS which is based on L3.

    --- Synchronet 3.20a-Linux NewsLink 1.114
  • From Lawrence D'Oliveiro@ldo@nz.invalid to comp.lang.ada on Mon Oct 7 20:30:50 2024
    From Newsgroup: comp.lang.ada

    On Mon, 7 Oct 2024 09:21:26 +0100, Luke A. Guest wrote:

    On 07/10/2024 00:48, Lawrence D'Oliveiro wrote:

    After 40 or more years trying to tout the idea, it’s time to give up.

    I already said, L4.

    The one that Hurd has been trying to use, without success.

    Has anybody else made production use of it?
    --- Synchronet 3.20a-Linux NewsLink 1.114