Genode OS Framework Icon

Genode OS Framework

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

Screenshots

Description

The Genode OS Framework provides a uniform API for applications on top of 9 existing microkernels/hypervisors: NOVA, Fiasco.OC, seL4, Linux, L4ka::Pistachio, L4/Fiasco, OKL4, Codezero, and a custom kernel for bare-metal execution.

Genode OS Framework Web Site

Features

  • operating-system framework
  • Nitpicker GUI
  • Drivers for ACPI/PCI, AHCI, SD cards, PS/2, VESA graphics, ethernet NICs, USB HID and storage
  • Support for NOVA, Fiasco.OC, Linux x86, seL4, OKL4 x86, CodeZero, L4::Pistachio, L4/Fiasco, and bare metal execution

KEEP ME UPDATED

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.