TinyOS with board support for SiFLEX02 / ModFLEX