The Genode operating-system framework extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications. Currently, L4ka::Pistachio, OKL4 (ARM and x86), L4/Fiasco, and Linux (x86-32 and x86-64) are supported.
Project Reviews
Be the first to post a text review of Genode OS Framework. Rate and review a project by clicking thumbs up or thumbs down in the right column.
Rate and Review
Related Projects
-
-
-
COM by TCP
This is a simple software that bidirectionally forwards COM comunication thru the net. A typical application is: if you have 2 device originally connected on each other using RS232 protocol. In this case you'll separate it to any distance by this sw!
Genode OS Framework Actions
About SourceForge
Develop Software
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
