Solaris 10 with Trusted Extensions certified with EAL 4+ for LSPP,CAPP and RBAC
The Communications Security Establishment Canada certified Solaris 10 Release 11/06 Trusted Extensions:
Solaris Trusted Extensions has been developed to meet the requirements of the B1 class of the TCSEC, and now meets the equivalent Labelled Security Protection Profile (LSPP) in addition to the (CAPP) and (RBAC) by virtue of the underlying Solaris 10 11/06 operating system.
You can gather the certificate at their website. Unlike for example the EAL+4 LSPP certification, this evaluation included a graphical desktop ;)