diff --git a/src/backends/ocarina-backends-po_hi_c-deployment.adb b/src/backends/ocarina-backends-po_hi_c-deployment.adb
index a34f4ede2228a43e033409b8aae06a2fd2c0238a..19dc6d2c97bbe6beda2451cdd64db7ba8a7a36bf 100644
--- a/src/backends/ocarina-backends-po_hi_c-deployment.adb
+++ b/src/backends/ocarina-backends-po_hi_c-deployment.adb
@@ -2220,6 +2220,7 @@ package body Ocarina.Backends.PO_HI_C.Deployment is
 
                   when Platform_LEON_RTEMS |
                        Platform_LEON_RTEMS_POSIX |
+                       Platform_LEON_ORK |
                        Platform_ARM_DSLINUX |
                        Platform_ARM_N770 |
                        Platform_NDS_RTEMS |