Announcement

Collapse
No announcement yet.

Genode OS 20.08 Has Chromium Web Engine Running, Low-Level GUI Work

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

  • Genode OS 20.08 Has Chromium Web Engine Running, Low-Level GUI Work

    Phoronix: Genode OS 20.08 Has Chromium Web Engine Running, Low-Level GUI Work

    The Genode OS project is out with its 20.08 version bump that brings some high profile improvements for this open-source operating system framework...

    http://www.phoronix.com/scan.php?pag...enode-OS-20.08

  • #2
    What usage Genode OS seeks to achieve? With restrictive AGPL license, I doubt anybody would use it over Windows / Linux / BSD. IMO, it's wasted effort to contribute into this projects, which never gets adopted in the real world,... Sony PlayStation and Nintendo Switch have based their OS on BSD.

    Comment


    • #3
      Originally posted by kravemir View Post
      What usage Genode OS seeks to achieve? With restrictive AGPL license, I doubt anybody would use it over Windows / Linux / BSD. IMO, it's wasted effort to contribute into this projects, which never gets adopted in the real world,... Sony PlayStation and Nintendo Switch have based their OS on BSD.
      Relax, it's just a cute little research OS. Besides, it would be refreshing for one of these hobby OSes to get some traction and actually challenge the Big Three at this point. Linux is all but a corporate OS at this stage, it's basically Chromium.

      Comment


      • #4
        Originally posted by Ironmask View Post

        Relax, it's just a cute little research OS. Besides, it would be refreshing for one of these hobby OSes to get some traction and actually challenge the Big Three at this point. Linux is all but a corporate OS at this stage, it's basically Chromium.
        What kind of challenge do you expect in the OS/kernel world? Besides Windows-like-UX-friendly tools for Linux, there's nothing missing in Linux. Also, BSD lags behind Windows and Linux, which isn't an issue for specifically crafted OS-es for special devices (e.g. consoles,..).

        The existing eco-system is defining factor, whether some technology gets adopted and gets traction,... That's reason, why Java is dominant in business world (maven - immutable repository with large amount of libraries), and also NodeJS start getting nice traction. Not that these languages are the most HW-resources-usage friendly, but that's clearly irrelevant factor for large amount of software development companies.

        Comment


        • #5
          Originally posted by kravemir View Post
          There's nothing missing in Linux.
          In no small thanks due to its obsolete UNIX-like architecture, there's a lot Linux leaves to be desired, including but not limited to:
          • Lack of a sound security model: Ambient security isn't sound. Confused deputy problem. Genode is built around Capabilities, which can offer actual security.
          • Size of Trusted Computer Base: whole kernel runs privileged, thus is part of TCB, thus the TCB is huge and unmanageable. Impossible to formally prove correctness or even reason about. Can't provide security nor can it be used anywhere where high assurance is required. Genode is a multi-server operating system, which means the TCB can be minimized. This works specially well with seL4 microkernel, as it has thorough formal proofs. They don't stop at the source code, and actually go down to the compiler output, using ISA models to prove it is a valid compilation of the source code and thus the compiler didn't fuck up.
          • Non-deterministic behaviour: Can't be used in hard realtime as latency can't be bound, not even with rt patchset. This is unlike Genode, which architecture permits such proofs, particularly when on top of seL4, which has WCET proof.
          Basically, Linux is great and popular and all that, but it isn't the ultimate answer to OS design. Its design trails behind the state of the art. By decades.

          Comment


          • #6
            Originally posted by ayumu View Post
            • Lack of a sound security model: Ambient security isn't sound. Confused deputy problem. Genode is built around Capabilities, which can offer actual security.
            • Size of Trusted Computer Base: whole kernel runs privileged, thus is part of TCB, thus the TCB is huge and unmanageable. Impossible to formally prove correctness or even reason about. Can't provide security nor can it be used anywhere where high assurance is required. Genode is a multi-server operating system, which means the TCB can be minimized. This works specially well with seL4 microkernel, as it has thorough formal proofs. They don't stop at the source code, and actually go down to the compiler output, using ISA models to prove it is a valid compilation of the source code and thus the compiler didn't fuck up.
            Fair enough. From perspective of multi-user security Linux kernel lags a lot. The bigger threat are closed-source applications (well, businesses want them), does Genode OS address user-space security issues anyhow?

            Comment


            • #7
              kernel and user space security have been at the forefront of genode os framework since it's inception.
              Every app is encapsulated and can not break free from it's security tree. A banking app would actually be secure on genode.

              Also just to clear things up slightly. Genode is an OS framework/API. You choose a micro-kernel (yes no 32Million LOC to start with), and build your apps focused on the genode API / framework. Then in theory you can swap your kernel out for another using the same apps on a different architecture etc.

              Sculpt OS is an example and it seems, a build tool to throw out your own platforms to focus your apps on.

              It's much more than a hobby OS.

              Comment


              • #8
                I tend to consider Linux less 'The Future' (TM) and more 'what the past should have been'. Fresher OSS OSes are more than welcome to have a go at entry to the space. in my book.

                Comment


                • #9
                  Originally posted by kravemir View Post
                  What usage Genode OS seeks to achieve? With restrictive AGPL license, I doubt anybody would use it over Windows / Linux / BSD. IMO, it's wasted effort to contribute into this projects, which never gets adopted in the real world,... Sony PlayStation and Nintendo Switch have based their OS on BSD.
                  who cares about Playstation and Switch anyway? It's not like they paid a dime back to the BSD community anyway.

                  Comment


                  • #10
                    Originally posted by Ironmask View Post
                    Relax, it's just a cute little research OS. Besides, it would be refreshing for one of these hobby OSes to get some traction and actually challenge the Big Three at this point. Linux is all but a corporate OS at this stage, it's basically Chromium.
                    lol not really. To even think about compiling Chromium you need to pull down a load of blobs and hacks, especially for the Google's own stuff.
                    Linux is mostly developed by corporate users, but it's not relying on blobs to be compiled or blob libraries and it's actually fully opensource.

                    Comment

                    Working...
                    X