@syshum, yes, but it's not exacly RHEL, and it's not distributed outside AWS https://news.ycombinator.com/item?id=25347232

But the point is indeed that there are resources and infrastructure, so one might be hopeful that there will be a good outcome.

One possible outcome would be increased demand and resources for Debian and/or Ubuntu and I definitely wouldn't mind that (five years of support isn't all that much in IT). Realistically though, a lot of people need RHEL for free and I suspect there will be a way.