Awesome. I tried to follow the porting of inferno to the RPi [1], but i gave up. I had issues i couldn't fix, function calls magically didn't work.

[1] http://lynxline.com/porting-inferno-os-to-raspberry-pi/