User:SwifT/selinuxcil

From Gentoo Wiki
Jump to: navigation, 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