Contiki v2.40 (a small but modern operating system) is available since 16th February 2010. A previous version has been compiled for Amstrad CPC with the Small Device C Compiler.