Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changes between Initial Version and Version 1 of Ticket #419


Ignore:
Timestamp:
2012-03-08T15:27:07Z (8 years ago)
Author:
Martin Decky
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #419 – Description

    initial v1  
    1 The Genode Operating System Framework can run on top of several OS kernels, including Linux and several L4 variants. Using HelenOS as a new platform for Genode can benefit both projects. It can bring Genode to new processor architectures and can expose Genode to a non-L4 microkernel API, thus improving its universality. On the other hand, HelenOS will be exposed to a new userland, which will test it under different type of load and give it new set of features, currently unsupported by HelenOS.
     1Port the Genode Operating System Framework to HelenOS.
     2
     3 Details::
     4  The Genode Operating System Framework can run on top of several kernels, including Linux and several L4 variants. As SPARTAN (the kernel part HelenOS) is a decent and mostly feature-complete microkernel, there is reason to believe that the Genode Framework can be used (with proper adaptation) as an alternative user space for HelenOS or coexist side-by-side with the native HelenOS user space.
     5
     6  The level of integration between the native HelenOS user space and Genode can be varying and it is an integral part of the project to assess the proper design of the combined userland. There are several technical differences between native HelenOS user space and Genode (C vs. C++, communication style, etc.), but they can be bridged by various means.
     7
     8 What Gains and Benefits will this bring?::
     9  Using HelenOS as a new platform for Genode can benefit both projects. It can bring Genode to new processor architectures and can expose Genode to a non-L4 microkernel API, thus improving its universality.
     10
     11  On the other hand, HelenOS will be exposed to a new userland, which will test it under different type of load and give it new set of features, currently unsupported by HelenOS (e.g. a graphical user interface).
     12
     13 Difficulty::
     14  High
     15
     16 Required skills::
     17  A successful applicant will have good skills of programming both in the C and C++ languages and the ability to learn and modify the internals of HelenOS and Genode. Also good software design skills and experience is required.
     18
     19 Note::
     20  This is a cross-project topic with [http://genode.org/community/gsoc_2012#Combining_Genode_with_the_HelenOS/SPARTAN_kernel Genode].
     21
     22 Documentation::
     23 
     24  * [wiki:DeveloperDocs]
     25  * [http://genode.org/ Genode Operating System Framework]
     26
     27 Possible mentors::
     28  HelenOS Core Team, Martin Decky