[X] The "/vmpk/vmpk-0.2.5-setup.exe" file could not be found or is not available. Please select another file.

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.


http://genode.org





Separate each tag with a space.

Release Date:

2009-08-18

Topics:

License:

Ratings and Reviews

  • Thumbs up:

    2
  • Thumbs down:

    0
100% of 2 users recommend this project

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.

View all reviews

Project Feed

Rate and Review

Would you recommend this project?






<

Related Projects

Genode OS Framework Actions

Thanks for your rating!

Would you also like to write a review?





Skip Review