id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc
23	Ability to disable IPIs in SoCLib Xicu driver	becoulet	Nicolas Pouillon	"The SoCLib XIcu driver should properly disable all IPI related code when CONFIG_HEXO_IPI is not defined.
"	enhancement	closed	trivial	Preemptive scheduler usage	drivers	fixed