OS using PennSim assembly