Hacker News new | ask | show | jobs
by dippyskoodlez 4172 days ago
It would seem like they used Red Hat for the SE Linux implementation(?) but should have just used BSD.