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