After a bit of searching, apparently it's part of the L4 OS family. (More Unix) Wikipedia has a summary in the L4 microkernel family article.
https://en.wikipedia.org/wiki/L4_microkernel_family#L4Ka::Pi...