diff --git a/platform-specific/config-sky.h b/platform-specific/config-sky.h
deleted file mode 100644
index 5d39c06..0000000
--- a/platform-specific/config-sky.h
+++ /dev/null
@@ -1 +0,0 @@
-typedef int ssize_t;
diff --git a/platform-specific/platform.h b/platform-specific/platform.h
index 143b6a2..9179f2d 100644
--- a/platform-specific/platform.h
+++ b/platform-specific/platform.h
@@ -79,15 +79,6 @@
 #define SHA2_USE_INTTYPES_H 1
 #endif
 
-/************************************************************************/
-/* Specific Contiki platforms                                           */
-/************************************************************************/
-
-
-#ifdef CONTIKI_TARGET_SKY
-#  include "platform-specific/config-sky.h"
-#endif /* CONTIKI_TARGET_SKY */
-
 #endif /* CONTIKI */
 
 #endif /* _PLATFORM_H_ */