3 ms·It would seem like they used Red Hat for the SE Linux implementation(?) but should have just used BSD.by dippyskoodlez 12y agoIt would seem like they used Red Hat for the SE Linux implementation(?) but should have just used BSD.