HelenOS kernel (Spartan) as a Genode platform

[Tobias Börtitz]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20130116/2b05e47f/attachment.html>