[X] The "/OldFiles" 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, OKL4 (ARM and x86), L4/Fiasco, and Linux (x86-32 and x86-64) are supported.


http://genode.org





Separate each tag with a space.

Features:

  • operating-system framework
  • Nitpicker GUI
  • drivers for PCI, PS/2, VESA graphics, ethernet NICs, USB HID and storage
  • support for Linux x86-32, Linux x86-64, OKL4 x86, OKL4 gta01 (ARM), L4::Pistachio, and L4/Fiasco

Release Date:

2009-11-25

Topic:

Operating System:

License:

Translations:

Intended Audience:

Programming Language:

Registered:

2008-05-19

Ratings and Reviews

  • Thumbs up:

    4
  • Thumbs down:

    0
100% of 4 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

Thanks for your review!

Get credit for your review by logging in via OpenID. Click your account provider:

No Thanks