Merge proposals

HelenOS branches has no merge proposals.