Open Hub
Black Duck Open Hub
 

Managed Projects

Genode OS Framework

  Analyzed 1 day ago

The Genode operating-system framework extends existing kernels (e.g., microkernel or hypervisor) and provides a uniform API for applications. Kernel support: L4ka::Pistachio, OKL4 (ARM, x86), CodeZero, NOVA, L4/Fiasco, and Linux (x86-32, x86-64)

436K lines of code

20 current contributors

6 days since last commit

7 users on Open Hub

High Activity
5.0
 
0 Reviews
I Use This
Mostly written in C++
Licenses: gpl
Tags c++ l4 linux operating_system_kernels rumpkernel security

Qoost

  No analysis available

0 lines of code

0 current contributors

0 since last commit

0 users on Open Hub

Activity Not Available
0.0
 
0 Reviews
I Use This
Mostly written in language not available
Licenses: mit