diff --git a/misc/supported-platforms/ocarina_components.aadl b/misc/supported-platforms/ocarina_components.aadl
index a5065eab1b06dbc3083a4a5334cd1eccfc1ee1a5..bd5bdaed6ed2c4e9739330e9a2470748442fdbda 100644
--- a/misc/supported-platforms/ocarina_components.aadl
+++ b/misc/supported-platforms/ocarina_components.aadl
@@ -2150,7 +2150,7 @@ end crazyflie_v2.gnat;
 processor stm32f4_discovery extends arm
 properties
    Deployment::Execution_Platform => GNAT_Runtime;
-   Deployment::Ada_Runtime => "stm32f407_discovery";
+   Deployment::Ada_Runtime => "stm32f407_discovery_full";
 end stm32f4_discovery;
 
 processor implementation stm32f4_discovery.gnat