C2 for Linux?

Signal 11 asks: "I've been doing some research on government security certifications for Linux, specifically the C2 classification put out by the NSA. The results are that there is only one project underway - SGI Linux is apparently a low profile project underway at SGI (sorry for breaking it wide open guys) to get C2 for Linux. They won't begin testing though until 2001. Given that there is virtually no information about this project, however, I rather wonder whether SGI is still pursuing it. My question is: what's being done for C2 or higher classification of Linux right now?"