Red Hat Enterprise Linux（RHEL）は，米国のRed Hat 社により開発されている有償のLinux ディストリビューションです．RHEL は長期間のサポートが保証されています．FPGA 開発環境が実行できるOS として，RHEL が挙げられることが多いようです．