f9micro/f9-kernel — pull request #35 by arcbbb (2013-08-06 23:33:55+00:00)
Title: fixes issue #31

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.