Results 1 to 5 of 5

Thread: Genode OS 13.05 Brings Automated Tests, Exynos 5

  1. #1
    Join Date
    Jan 2007
    Posts
    13,429

    Default Genode OS 13.05 Brings Automated Tests, Exynos 5

    Phoronix: Genode OS 13.05 Brings Automated Tests, Exynos 5

    Version 13.05 of the Genode OS Framework is now available...

    http://www.phoronix.com/vr.php?view=MTM4MjE

  2. #2
    Join Date
    Feb 2013
    Posts
    269

    Default

    This project sounds interesting in abstract. I get the impression that this project is targeting servers and workstations. I'm curious to see how an L4-based OS will perform under workstation and server loads.

  3. #3
    Join Date
    Feb 2012
    Location
    Kingston, Jamaica
    Posts
    280

    Default

    Quote Originally Posted by Serge View Post
    This project sounds interesting in abstract. I get the impression that this project is targeting servers and workstations. I'm curious to see how an L4-based OS will perform under workstation and server loads.
    No, it is not targeting servers and work station. It is targeting general purpose computers.

    Also, It is not technically an L4-based OS though the userland has L4 heritage. It uses a few L4-based Kernels but that is not a dependency. It can use about 12 different platforms including Linux/x86 and Linux/ARM (Added in this release).
    Last edited by jayrulez; 05-31-2013 at 11:25 PM.

  4. #4
    Join Date
    Mar 2013
    Posts
    141

    Default

    Are there any performance figures on the ARM RISC micro kernel versus the x86 CISC*? I'm curious to see how the IPC compares on an x86 and the ARM. Maybe some raw CPU cycles, locks... Whatever. I'm really not very knowledgeable about this sort of things but I've always had this idea that the x86 instruction set is so high that a low micro kernel only adds another abstraction level to it. But, a micro kernels should preform very VERY well on RISC since this way the job isn't getting replicated. Maybe even out preforming a monolithic kernel.
    Anyhow, it's all very intuitive and not figures based. Just leftovers of some books and wild ideas from another decade... So, if anyone has any papers or benchmarks on the subject...

    * Yeah I know it's really a RISC wrapper this days... I don't think it matter in this context since there's still a lot of redundant instruction carried out...

  5. #5
    Join Date
    Feb 2013
    Posts
    269

    Default

    Quote Originally Posted by jayrulez View Post
    No, it is not targeting servers and work station. It is targeting general purpose computers.

    Also, It is not technically an L4-based OS though the userland has L4 heritage. It uses a few L4-based Kernels but that is not a dependency. It can use about 12 different platforms including Linux/x86 and Linux/ARM (Added in this release).
    Thanks for the corrections. This sounds very interesting.

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •