The "/OBO-Edit 2 [current.. release]/oboedit2.0" file could not be found or is not available. Please select another file.
Genode OS Framework Icon

Genode OS Framework

8 Recommendations
28 Downloads (This Week)
Download genode-12.02.tar.bz2
Browse All Files

Screenshots

Genode/Linux integrating native apps and two X sessions Isolated GUI server instance running in a window of our GUI Live CD 2010-11 Nitpicker GUI tinting security domains with colors Tetrix Qt4 example application with native applications

Description

The Genode operating-system framework provides a uniform API for applications on top of 8 existing microkernels/hypervisors: Linux, L4ka::Pistachio, L4/Fiasco, OKL4, NOVA, Fiasco.OC, Codezero, and a custom kernel for the MicroBlaze architecture.

Genode OS Framework Web Site

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), CodeZero, NOVA, L4::Pistachio, and L4/Fiasco

User Ratings

100% recommended
 
 
8
0
Write a Review

User Reviews

Be the first to post a review of Genode OS Framework!

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.