I suposse we'll now as soon as any of the 9bitsies are renewed. But in any case, since the boot loader boots linux, I think you could try and use linux otherwise. It's just that I'd also like to know if Plan 9 runs there too, sorry, :-)