personal fork, use http://gitorious.ow2.org/riscoss/riscoss-platform