diff --git a/src/run_loop_embedded.c b/src/run_loop_embedded.c
index c25b89889..e5712ebc3 100644
--- a/src/run_loop_embedded.c
+++ b/src/run_loop_embedded.c
@@ -229,7 +229,12 @@ uint32_t embedded_ticks_for_ms(uint32_t time_in_ms){
 uint32_t embedded_get_time_ms(void){
     return system_ticks * hal_tick_get_tick_period_in_ms();
 }
+#endif
 
+#ifdef HAVE_TIME_MS
+uint32_t embedded_get_time_ms(void){
+    return hal_time_ms();
+}
 #endif
 
 /**