User:SwifT/selinuxcil
From Gentoo Wiki
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