id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc
24	Add a Software service handler	Nicolas Pouillon	becoulet	"When handling an IRQ, we may need heavier handling than what is possible in the IRQ handler (it may be in a special stack, and it runs with irq disabled).

We should add a marker somewhere in CPU-local memory or in a SPR in order to tell the exception handling code not to return to mainstream code, but go back in the kernel for some kernel hander code."	enhancement	closed	major		hexo	wontfix