An OS for running on sor1k in Open Computers