7
I Use This!
High Activity
Analyzed 3 days ago. based on code collected 3 days ago.

Project Summary

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)

Tags

c++ l4 linux operating_system_kernels rumpkernel security

In a Nutshell, Genode OS Framework...

Quick Reference

GNU General Public License v2.0 or later
Permitted

Commercial Use

Modify

Distribute

Place Warranty

Forbidden

Sub-License

Hold Liable

Required

Include Copyright

Include License

Distribute Original

Disclose Source

State Changes

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    learn about Open Hub updates and features on the Open Hub blog
  • ...
    55% of companies leverage OSS for production infrastructure
  • ...
    compare projects before you chose one to use

Languages

Languages?height=75&width=75
C++
78%
C
15%
15 Other
7%

30 Day Summary

Sep 19 2018 — Oct 19 2018

12 Month Summary

Oct 19 2017 — Oct 19 2018
  • 1345 Commits
    Down -20 (1%) from previous 12 months
  • 23 Contributors
    Up + 1 (4%) from previous 12 months