I contacted someone at AWS through a friend and asked him basic architectural questions, like if he can confirm that they are running Linux in Dom0. However, AWS can not give such details as long as you do not have a valid business need and sign a NDA, which I declined. If they are so closed about basic questions about their architecture, I doubt they will give in-depth details.