id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	field_blocks	field_dependson	field_seealso
1	Get support for Xen back	Martin Decky	Martin Decky	Resurrect the abandoned ia32xen port. Possibly also start working on the other platforms that are supported by Xen.	enhancement	closed	minor		helenos-debugging	mainline	deferred