7
I Use This!
High Activity
Analyzed about 8 hours ago. based on code collected about 8 hours 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
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog
  • ...
    65% of companies leverage OSS to speed application development in 2016
  • ...
    anyone with an Open Hub account can update a project's tags

Languages

Languages?height=75&width=75
C++
79%
C
15%
15 Other
6%

30 Day Summary

Nov 13 2018 — Dec 13 2018

12 Month Summary

Dec 13 2017 — Dec 13 2018
  • 1232 Commits
    Down -241 (16%) from previous 12 months
  • 22 Contributors
    Up + 1 (4%) from previous 12 months