Yikes. There were some meddlings at some point, but really you're better of using it under RISC OS. There is some "dead code" in the tree that set up mappings for the board to help boot the CPUs, but AFAIK it never went any further than this since the product rapidly became dead and never really sold.