What? I used to run 9front(a plan9 fork) on raspberry pi back in 2013. Their bootloader is closed source, so you have to use that to load your kernel.