id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc
21	Cleanup IPI handling in scheduler code	becoulet	Nicolas Pouillon	IPI code should be factored in mutek/scheduler.c. Processors queue might be stored together with running processes queue instead of using a CLS hack.	task	closed	major	Preemptive scheduler usage	mutek	fixed