Hi

Paul, thank you for the comments. I will have a look at the issue trackers during the next days after talking to the corresponding people. Even updating the documentation an helenos's wiki may be a good idea at some point.

John, you may be misslead by the term "platform". The Genode framework is a userland implementation of a capabilty based OS, which is capable of running on top of different microkernels. The term "platform" in this case refers to the used microkernel the framework is running on. In my case I strip HelenOS of its userland and only use their microkernel (which is called SPARTAN). So I port the Genode famwork to be able to run on top of the new platform HelenOS/SPARTAN. I do hope this clarifies things for you. If not, please let me know.

Regards, Tobias