kaffe/config/arm/riscos
