EPFL DATA Lab fork of LMS (TiarkRompf/virtualization-lms-core)