2
I Use This!
Activity Not Available
Analyzed over 2 years ago. based on code collected over 7 years ago.

Project Summary

L4Ka::Pistachio is the latest L4 microkernel developed by the System Architecture Group at the University of Karlsruhe in collaboration with the DiSy group at the University of New South Wales, Australia. It is the first available kernel implementation of the L4 Version 4 kernel API (currently code-named Version X.2), which is fully 32 and 64 bit clean, provides multiprocessor support, and super-fast local IPC.

Tags

alpha amd64 arm ia32 ia64 ipc itanium kernel l4 microkernel mips ppc32 smp source

In a Nutshell, Pistachio...

BSD 3-clause "New" or "Revised" License
Permitted

Commercial Use

Place Warranty

Modify

Distribute

Forbidden

Use Trademarks

Hold Liable

Required

Include Copyright

Include License

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
  • ...
    data presented on the Open Hub is available through our API
  • ...
    nearly 1 in 3 companies have no process for identifying, tracking, or remediating known open source vulnerabilities
  • ...
    you can subscribe to e-mail newsletters to receive update from the Open Hub blog

Languages

Languages?height=75&width=75
C++
58%
C
29%
Assembly
7%
7 Other
6%

30 Day Summary

not available

12 Month Summary

not available

Ratings

3 users rate this project:
5.0
 
5.0/5.0
Click to add your rating
   Spinner
Review this Project!