id Summary Owner Type Priority Version Created 782 HelenOS does not boot on Raspberry Pi defect major mainline 2018-12-17T20:08:21Z