Presumably this doesn't use the "microvm" machine type in QEMU? (also on front page right now https://news.ycombinator.com/item?id=36673945)