This is Gentoo's testing wiki. It is a non-operational environment and its textual content is outdated.
Please visit our production wiki at https://wiki.gentoo.org
User:SwifT/selinuxcil
From Gentoo Wiki (test)
Jump to:navigation
Jump to:search
Limited set of resources to support CIL and HLL.
Aka braindump ;-)
Tool support
Convert pp to CIL
The pp command (/usr/libexec/selinux/hll/pp) can be used to convert a .pp file to CIL.
user $/usr/libexec/selinux/hll/pp base.pp > ~/output.cil