Genode OS Framework Icon

Genode OS Framework

5.0 Stars (2)
48 Downloads (This Week)
Last Update:
Download genode-14.08.tar.bz2
Browse All Files

Screenshots

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 ARM SoCs.

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

Update Notifications





User Ratings

★★★★★
★★★★
★★★
★★
2
0
0
0
0
ease 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
features 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
design 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
support 1 of 5 2 of 5 3 of 5 4 of 5 5 of 5 0 / 5
Write a Review

User Reviews

  • colefisher
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    genode works perfectly, thanks

    Posted 12/17/2012
  • nolanpatterson
    1 of 5 2 of 5 3 of 5 4 of 5 5 of 5

    good work

    Posted 09/13/2012
Read more reviews

Additional Project Details

Languages

English

Intended Audience

Government, Information Technology, Science/Research, Telecommunications Industry, Developers, Other Audience

Programming Language

Python, C++, C

Registered

2008-05-19
Screenshots can attract more users to your project.
Features can attract more users to your project.

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