merge checkpoint
Merge branch 'wip-merge' of https://github.com/TiarkRompf/virtualization-lms-core into wip-merge