
      Seoul VMM runtime hosting a Tinycore VM
