diff options
| -rw-r--r-- | core/minute-ia/task.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/core/minute-ia/task.c b/core/minute-ia/task.c index 31d24734ec..2836d40975 100644 --- a/core/minute-ia/task.c +++ b/core/minute-ia/task.c @@ -156,6 +156,11 @@ void interrupt_disable(void) void interrupt_enable(void) { + /* + * allow enbling interrupt only after task switch is ready + */ + ASSERT(task_start_called() != 1); + __asm__ __volatile__ ("sti"); } |