Kernel: NICTA::Pistachio-embedded

This is a version of L4, based on L4Ka::Pistachio, that is designed for embedded systems. This package is not designed to be used in a stand-alone fashion. To use L4 why not try our Hello World, or Iguana, projects.

Download
pistachio--devel--1.1--version-0.tar.gz (2 MB)
Documents
Author
see AUTHORS file
Licence
BSD style