diff --git a/hw-tests/dual-core/core1.c b/hw-tests/dual-core/core1.c
index adb31bf86b5688b4dbd822b559a3b65ffd84542e..d985620cb9512781c9bc4040942dbcb0e1e58090 100644
--- a/hw-tests/dual-core/core1.c
+++ b/hw-tests/dual-core/core1.c
@@ -1,6 +1,6 @@
 #include "board.h"
 #include "gpio.h"
-#include "mxc_delay.h"
+#include "tmr_utils.h"
 
 static const gpio_cfg_t motor_pin = {PORT_0, PIN_8, GPIO_FUNC_OUT, GPIO_PAD_NONE};
 
@@ -11,7 +11,7 @@ int main(void)
 	for (int i = 0; 1; i++) {
 		__asm volatile("wfe");
 		printf("core1: Hello! %d\n", i);
-		mxc_delay(3000000);
+		TMR_Delay(MXC_TMR1, SEC(1), 0);
 		printf("core1: Waking up core0\n");
 		__asm volatile("sev");
 		__asm volatile("wfe");