f9micro / f9-kernel

An efficient and secure microkernel built for ARM Cortex-M cores, inspired by L4
Other
680 stars 145 forks source link

To avoid priority escalation for DebugMon exception #17

Closed arcbbb closed 11 years ago

arcbbb commented 11 years ago

To avoid unnecessary priority escalation for fault, this patch removes cpsid & cpsie from irq_{save, return} and set handlers' default priority to 1.