diff --git a/include/zenoh-pico/system/deprecated.h b/include/zenoh-pico/deprecated/platform.h
similarity index 97%
rename from include/zenoh-pico/system/deprecated.h
rename to include/zenoh-pico/deprecated/platform.h
index 36bf21645..5e47d65c6 100644
--- a/include/zenoh-pico/system/deprecated.h
+++ b/include/zenoh-pico/deprecated/platform.h
@@ -10,8 +10,8 @@
 // Contributors:
 //   ZettaScale Zenoh Team, <zenoh@zettascale.tech>
 
-#ifndef ZENOH_PICO_PLATFORM_DEPRECATED_H
-#define ZENOH_PICO_PLATFORM_DEPRECATED_H
+#ifndef ZENOH_PICO_DEPRECATED_PLATFORM_H
+#define ZENOH_PICO_DEPRECATED_PLATFORM_H
 
 #include <stdint.h>
 
diff --git a/include/zenoh-pico/system/platform.h b/include/zenoh-pico/system/platform.h
index 193b28e20..4fe70198d 100644
--- a/include/zenoh-pico/system/platform.h
+++ b/include/zenoh-pico/system/platform.h
@@ -18,7 +18,7 @@
 #include <stdint.h>
 
 #include "zenoh-pico/config.h"
-#include "zenoh-pico/system/deprecated.h"
+#include "zenoh-pico/deprecated/platform.h"
 #include "zenoh-pico/system/platform-common.h"
 
 #endif /* ZENOH_PICO_SYSTEM_PLATFORM_H */
diff --git a/src/deprecated/platform.c b/src/deprecated/platform.c
index a8b8a3d72..4081d5b1e 100644
--- a/src/deprecated/platform.c
+++ b/src/deprecated/platform.c
@@ -12,7 +12,8 @@
 //   ZettaScale Zenoh Team, <zenoh@zettascale.tech>
 //
 
-#include "zenoh-pico/system/deprecated.h"
+#include "zenoh-pico/deprecated/platform.h"
+
 #include "zenoh-pico/system/platform-common.h"
 
 uint8_t zp_random_u8(void) { return z_random_u8(); };