28 Sep
2014
28 Sep
'14
6:58 p.m.
On Sep 28, 2014, at 7:56 PM, Rick Murphy <rick at rickmurphy.net> wrote:
...
I?ll have to dig more. Looks like this one is a red herring. The one I saw said that it
was actually evaluated, not that it was ?designed to be evaluated?.
paul
Yes, I can say; I learned about it from the
supplier?s press release. It?s Lynx OS.
That's a separation kernel, and was designed from the beginning to be modeled. I
don't think it's ever been actually evaluated at EAL7, just "designed to be
evaluated". EAL4 with augmentation is as far as I think they've ever gotten. Just
waiting for the customer to drive the requirement.