The Genode operating-system framework extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications. Currently, L4ka::Pistachio, L4/Fiasco, and Linux are supported.
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.
Copyright © 2009 Geeknet, Inc. All rights reserved. Terms of Use
Thanks for your rating!
Would you also like to write a review?