id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc	field_blocks	field_dependson	field_seealso
419	HelenOS as a Genode platform	Jakub Jermář		The Genode Operating System Framework can run on top of several OS kernels, including Linux and several L4 variants. Using HelenOS as a new platform for Genode can benefit both projects. It can bring Genode to new processor architectures and can expose Genode to a non-L4 microkernel API, thus improving its universality. On the other hand, HelenOS will be exposed to a new userland, which will test it under different type of load and give it new set of features, currently unsupported by HelenOS.	enhancement	new	major		helenos/unspecified	mainline		gsoc12