En fait t'y connais aussi peu que moi, même windows mobile 6.5 et windows vista sont certifiés EAL4+, ça veut donc rien dire pour un OS.

pour de l'OS sérieux il faut taper encore plus haut pour des certifications sérieuses. Par exemple

Green Hills Software INTEGRITY-178B Separation Kernel, comprising: INTEGRITY-178B Real Time Operating System (RTOS), version IN-ICR750-0101-GH01_Rel running on Compact PCI card, version CPN 944-2021-021 with PowerPC, version 750CXe

est certifié EAL6+, là je veux bien croire que c'est un truc sérieux.

http://www.commoncriteriaportal.org/products/#AC

(ça dépend donc de l'ouverture du bidule, un HSM ou une carte est hautement secure à EAL4+, mais pas un OS sur PC ^^