f9micro / f9-kernel

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

fixes issue #31 #35

Closed arcbbb closed 11 years ago

arcbbb commented 11 years ago

To avoid compiler allocating register r4 for (tcb_t *) sel which corrupts the interrupted context, sel is forced to allocate register r1 for its use.