osd-contiki/tools/release-tools/compile-platforms/Makefile.platform