HelenOS Raspberry Pi port In mid March 2013 I did some work on porting HelenOS to the Pi. Read more Tagged as : helenos spartan microkernel raspberry pi