contiki/platform/sky/Makefile.sky