diff --git a/epicardium/api/dispatcher.c b/epicardium/api/dispatcher.c
index a6e5cf415e8f5ce4f0902f4e86e138835c0b0a92..38b61149a0befab28fc9dcc548a7fbfe3b4f6260 100644
--- a/epicardium/api/dispatcher.c
+++ b/epicardium/api/dispatcher.c
@@ -1,6 +1,7 @@
 #include <stdlib.h>
 #include "sema.h"
 #include "api/dispatcher.h"
+#include "max32665.h"
 
 int api_dispatcher_init()
 {
@@ -13,7 +14,9 @@ int api_dispatcher_init()
 	 * Enable TX events for both cores.
 	 * TODO: Is this the right place?
 	 */
-	MXC_GCR->evten |= 0x24;
+	MXC_GCR->evten |= 0
+		| MXC_F_GCR_EVTEN_CPU0TXEVENT
+		| MXC_F_GCR_EVTEN_CPU1TXEVENT;
 
 	return ret;
 }