RH doesn't prevent you from redistributing the sources of a GPL'ed RHEL binary. That is indeed explicitly allowed by the GPL, nothing they can do about it. What

RH doesn't prevent you from redistributing the sources of a GPL'ed RHEL binary. That is indeed explicitly allowed by the GPL, nothing they can do about it. What they can do, however, is cancel your RHEL subscription if they catch you doing it. IANAL so I can't say whether this constitutes a "further restriction on redistribution" per the GPL, but evidently RH lawyers don't think so.