More robust virtualization layer

live migration, high-availability, etc.

---

Migrated from T2232 (view on Phabricator)