Common Criteria certification?

[473219 at googlemail.com]

Hello,

Have any official evaluations been done (or planned) to test BSD operating
systems for Common Criteria[1,2] certification ?

BSD could be a good match for my project, but the project must use an OS
with CC EAL certification.  Sponsoring a full CC EAL evaluation would be too
expensive, but might be possible if there was previous work to start from.
(Perhaps there is a "chicken-and-egg" problem!)

Thanks!

[1] http://www.commoncriteriaportal.org/
[2] http://niap.bahialab.com/cc-scheme/index.cfm