AWS's Open Source Problem
lastweekinaws.com
lastweekinaws.com
Also freertos was a bit of an acquihire originally of Richard Barry - https://en.wikipedia.org/wiki/FreeRTOS
What I’d like to see more contribution / participation from Amazon around the extant open source community projects they run as saas (postgres, MySQL, Kafka, etc). The numbers here are extremely low.
Also your article seems to have missed firecracker vm, https://github.com/firecracker-microvm/firecracker