adding resources from ETHZ RISC Oberon