vmlemon / pistachio

L4Ka::Pistachio micro-kernel

http://l4ka.org/projects/pistachio

vmlemon/pistachio Issues

Orion/E userland
Updated 5 years ago7
Missing /user/l4/powerpc64/tracebuffer.h
Updated 5 years ago1
POWER3/4 build is broken
Updated 5 years ago6