NSA's Security-Enhanced Linux

Apparently the NSA is working on Security-Enhanced Linux (SELinux). This came up in a Slashdot article about PGP working with NSA on secure linux.