RHEL now certified at EAL4+ https://rio.st/2007/06/18/rhel-now-certified-at-eal4/