FYI: Linux is licensed under GPL v2. AWS uses Linux extensively.
These are, honestly, expensive questions to answer as the tech gets more complicated - at what point is linux part of the binary you're distributing vs. an external dependency and, if you get the answers wrong, you'll potentially create an outage that will wreck havoc on the economy by grinding the cloud to a halt and cost Amazon tens of billions in revenue.
This is a very, very, complicated situation.