hw-tests/dual-core/core1.c

 #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,6 +11,10 @@ int main(void)
 	for (int i = 0; 1; i++) {
 		__asm volatile("wfe");
 		printf("core1: Hello! %d\n", i);
+		TMR_Delay(MXC_TMR1, SEC(1), 0);
+		printf("core1: Waking up core0\n");
+		__asm volatile("sev");
+		__asm volatile("wfe");
 
 #if 0
 		GPIO_OutSet(&motor_pin);

hw-tests/dual-core/main.c

@@ -39,6 +39,7 @@ int main(void)
     }
 
     int h = 0;
+    MXC_GCR->evten |= 0x04;
 
     // Release core1
     Core1_Start();
@@ -54,7 +55,7 @@ int main(void)
         }
 
         leds_update();
-        TMR_Delay(MXC_TMR0, MSEC(10), 0);
+        TMR_Delay(MXC_TMR1, MSEC(10), 0);
         h++;
 
         // Send a txev using `sev` every once in a while to wake up core1
@@ -62,6 +63,9 @@ int main(void)
         if (h % 100 == 0) {
             printf("core0: Triggering core1 using SEV ...\n");
             __asm volatile("sev");
+            __asm volatile("wfe");
+            __asm volatile("wfe");
+            printf("core0 woke up\n");
         }
     }
 }