id,Summary,Owner,Type,Priority,Version,Resolution 782,HelenOS does not boot on Raspberry Pi,,defect,major,mainline,fixed