EDIT: Okay, https://www.geekwire.com/2018/firecracker-amazon-web-service... says my "pretty sure" memory is in fact correct.
[1]: https://www.usenix.org/system/files/nsdi20-paper-agache.pdf