Announcement

Collapse
No announcement yet.

Genode OS 18.11 Gets SSH Server Support, MirageOS Unikernels & SDK

Collapse
X
 
  • Filter
  • Time
  • Show
Clear All
new posts

  • Genode OS 18.11 Gets SSH Server Support, MirageOS Unikernels & SDK

    Phoronix: Genode OS 18.11 Gets SSH Server Support, MirageOS Unikernels & SDK

    Genode, the open-source operating system framework focused on a micro-kernel layer and various innovative user-space components, is out with its latest feature update. The developers at Genode Labs also continue bringing up their Sculpt OS effort for Genode as a general purpose operating system...

    http://www.phoronix.com/scan.php?pag...18.11-Released

  • #2
    I like the idea of this microkernel & OS but the fact it's largely written in C++ puts me off ( https://github.com/genodelabs/genode ).

    Comment


    • #3
      Originally posted by cybertraveler View Post
      I like the idea of this microkernel & OS but the fact it's largely written in C++ puts me off ( https://github.com/genodelabs/genode ).
      Well it's not like the had Rust around when they started...

      Comment


      • #4
        Originally posted by cybertraveler View Post
        I like the idea of this microkernel & OS but the fact it's largely written in C++ puts me off ( https://github.com/genodelabs/genode ).
        The XML is where it gets me, personally.

        That said, it is the only way right now that you're going to get a full system up and running as an average hobbyist; and they have some really cool stuff implemented, including full binary compatibility between several kernels.

        C++ ain't so bad, if it's used correctly. Many of the features in it are pretty spectacular (polymorphic functions, auto [especially the combination of polymorphs, auto, and decltype). It's just that they have basically no hope of verifying it symbolically, as far as I can tell.
        Last edited by microcode; 01 December 2018, 12:51 PM.

        Comment

        Working...
        X