
      Seoul VMM runtime for hosting a Linux VM in the Sculpt scenario
