ticket	summary
11	Support PAE on ia32
40	Implement support for Sgi Octane (mips64)
310	Support for DWARF Debugging Information Format
419	HelenOS as a Genode platform
424	RPC/IPC generator
425	Implement support for Lemote Fuloong/Yeeloong (mips64)
517	Port the clang (LLVM) compiler to HelenOS
524	Implement support for Ben NanoNote (mips32)
526	Port DOSBox to HelenOS
571	Driver for Broadcom VideoCore IV (Raspberry Pi)
572	USB DisplayLink driver
577	AC'97 Audio driver
621	Raspberry Pi USB controller driver
646	GDB stub for remote debugging
647	USB support on BeagleBoard XM and BeagleBone computers
648	Extend dynamic linking support to (an)other architecture(s)
649	Implement support for Creator Ci40 (mips32)
651	Implement Turris Omnia support (arm32)
655	Networking stabilization campaign