id summary reporter owner description type status priority milestone component version resolution keywords cc field_blocks field_dependson field_seealso 417 Port HelenOS/mips32 to some existing board / computer Jakub Jermář Martin Decky enhancement new major helenos/kernel/mips32 mainline gsoc12