id	Summary	Status	Keywords	Owner	Type	Priority
424	RPC/IPC generator	new	gsoc13, gsoc14, gsoc15, socis15,gsoc16, gsoc17,gsoc18		enhancement	major
571	Driver for Broadcom VideoCore IV (Raspberry Pi)	new	gsoc14, gsoc15, gsoc16, gsoc17, gsoc18		enhancement	major
572	USB DisplayLink driver	new	gsoc14, gsoc15, gsoc16, gsoc17, gsoc18, ui		enhancement	major
577	AC'97 Audio driver	new	gsoc14, gsoc15, gsoc16, gsoc17, gsoc18, virtualbox		enhancement	major
621	Raspberry Pi USB controller driver	new	gsoc15, gsoc16, gsoc17, gsoc18		enhancement	major
646	GDB stub for remote debugging	new	gsoc16, gsoc17, gsoc18		enhancement	major
647	USB support on BeagleBoard XM and BeagleBone computers	new	gsoc16, gsoc17, gsoc18		enhancement	major
648	Extend dynamic linking support to (an)other architecture(s)	new	gsoc16, gsoc17, gsoc18	Jiri Svoboda	enhancement	major
649	Implement support for Creator Ci40 (mips32)	new	gsoc16, gsoc17, gsoc18	Martin Decky	enhancement	major
675	Implement Xen PV network device driver	new	xen-netfront, gsoc18		enhancement	major
712	Port Git to HelenOS	new	gsoc18		enhancement	major
11	Support PAE on ia32	new	gsoc12, gsoc13, gsoc14, gsoc15, gsoc16, gsoc17, gsoc18	Martin Decky	enhancement	minor
310	Support for DWARF Debugging Information Format	new	gsoc11, gsoc12, gsoc13, gsoc14, gsoc15,gsoc16, gsoc17, gsoc18		enhancement	minor