HelenOS in the Year of the Pig