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.