Are there any FOSS operating systems that are certified EAL 5 or higher by CC?

Are there any FOSS operating systems that are certified EAL5+ by Common Criteria? I have seen SUSE taking EAL4+ but is it EAL5 or higher?