SELinux isn't an OS, but it does do something with Linux. And that is certainly started by govt here.
It was certainly sponsored by the NSA at one time. As I have always understood it it consists of sort of bolt on or plug in modifications to the kernel?

It is certainly not a distro.