1. 16
    Genode OS Framework 20.08 c++ osdev genode.org
    ethoh avatar via ethoh 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
    1. 5
      ethoh avatar ethoh 3 years ago | link

      I’m impressed. I didn’t expect the display system redesign to be ready this quickly.

      As for them porting chromium’s engine, that absolutely blindsided me. As far as I am aware, only the usual operating systems (*BSD, Linux, OSX, Windows) could do this until now.

    2. 3
      pfr avatar pfr edited 3 years ago | link

      Nice to see the screenshot of Falkon Browser featuring the MNT Reform! Here’s hoping that an ARM based SculptOS image is developed for the Reform!

      EDIT: I just found this: https://genode.org/documentation/release-notes/20.08

    3. 2
      chelmuth avatar chelmuth 3 years ago | link

      Yesterday, we released an update of Sculpt OS - our desktop Genode incarnation. Thus, getting some practical Genode experience is as easy as downloading the USB image, running it on a dedicated Intel PC or in VirtualBox (OVA is available), and fetching all the needed software packages directly in the live system with the integrated deployment tools. https://genode.org/download/sculpt

      Norman Feske also did a casual write-up of the new stuff in the current version. https://genodians.org/nfeske/2020-09-17-sculpt-os

    4. 1
      ptman avatar ptman 3 years ago | link

      Are genode people interested in writing new code in Rust instead of C++?

      1. 2
        ethoh avatar ethoh 3 years ago | link

        You’d have to port Rust, then ask them.

        1. 3
          emery avatar emery 3 years ago | link

          Someone did a drive-by port, but the language moved too much and it had to be removed.

      2. 1
        dckc avatar dckc 3 years ago | link

        I see quite a bit of interesting Ada/SPARK work.

        I haven’t tried it out myself, but I appreciate the emphasis on safety and formal verification.