Which copyleft software does AWS use? Linux, certainly. And MariaDB/MySQL (but also the BSD-like PostgreSQL). I was under the impression that it typically avoids GPL software when there is a BSD- or MIT-licensed alternative.