An SELinux module for FoxT's "BoKS" software