L4/MIPS / News: Recent posts

The newly released L4KA::Pistachio adds support for MIPS64 and other architectures. It implements the L4 version 4 API.

More information can be found at http://l4ka.org/projects/pistachio/

L4/MIPSversion 2 kernel found on this site is now not supported and no longer developed.