Virtual machine for HALT OS