Search:

Type: Posts; User: Norman Feske; Keyword(s):

Search: Search took 0.18 seconds.

  1. This is actually not too far off. It is already...

    This is actually not too far off. It is already possible to use the entirety of Genode's build system natively on Genode (that is, w/o Linux). So it is self-hosting already. To accomplish this, there...
  2. I forgot to mention a 4th option (for ARM-based...

    I forgot to mention a 4th option (for ARM-based platforms):

    * Running Genode on the "secure world" of ARM TrustZone, while running Linux in the normal world (this currently works for Freescale...
  3. There are actually several way to combine Genode...

    There are actually several way to combine Genode with Linux:

    * Running Genode directly on the raw Linux kernel
    * Running Genode on the Fiasco.OC microkernel and L4Linux as a user-level process on...
  4. Admittedely, it is intriguing to pursue such a...

    Admittedely, it is intriguing to pursue such a project using Genode's Unix runtime (called Noux). I even had the chance to meet Samuel Tiebaut (who made Debian available to GNU Hurd) at FOSDEM this...
  5. Genode is not an "OS" because it does not address...

    Genode is not an "OS" because it does not address end users directly. It is a technology that can be used as the fundament of an OS. If it were based on a monolithic OS architecture, you would...
  6. That is hard to tell. On the course of...

    That is hard to tell. On the course of constructing the DDE for USB, it becomes apparent that the breadth of the kernel interface referenced by the driver is indeed staggering. Of those functions,...
  7. Because DDE is the glue between Linux code and...

    Because DDE is the glue between Linux code and Genode, the code is specific to both Genode and Linux. However, the code can be classified into two different groups.

    First, there is code that...
  8. You are certainly right. But those applications...

    You are certainly right. But those applications aren't there yet. I think that the most sensible intermediate step from the perspective of the Genode developers is to use the system for pursuing...
  9. Thanks for the clarification. This limitation...

    Thanks for the clarification. This limitation still persists. But it is actually a limitation the L4Linux kernel rather than Genode. L4Linux is a project conducted independently of Genode. It is...
  10. We compile and run Genode on x86_64 (using both...

    We compile and run Genode on x86_64 (using both the Linux kernel and the Fiasco.OC kernel) on a daily basis. So you might give it another try? If you run into problems, I'd pleased to hear from you...
  11. Admittedly, being involved with the project, I...

    Admittedly, being involved with the project, I was also a bit (positively) surprised by this statement. :)
  12. Gallium3D is indeed only one part of the graphics...

    Gallium3D is indeed only one part of the graphics stack. However, the Genode project took a quite holistic approach including Intel's GEM and AGP drivers, libdrm, and Gallium3D - all running in user...
Results 1 to 12 of 12