Slashdot story: http://tech.slashdot.org/story/14/02/16/0319238/plan-9-from-bell-labs-operating-system-now-available-under-gplv2 Does that include anything the Freedom Box could use? It does include a Rasberry Pi port.