diff --git a/epicardium/api/control.c b/epicardium/api/control.c index daa1ff52ea81cb897e8c22efc1c024d6cc4d96ec..b8987b43e8654fcf873a47a8e6024fda3b3c561e 100644 --- a/epicardium/api/control.c +++ b/epicardium/api/control.c @@ -132,6 +132,12 @@ void __core1_init(void) /* Signal that we are ready for an IVT address */ core1_info.ready = true; + /* + * Reset the API interrupt so we never block Epicardium when it + * attempts to trigger an interrupt. + */ + API_CALL_MEM->int_id = (-1); + SEMA_FreeSema(_CONTROL_SEMAPHORE); __WFE();