Miroslav Grepl <mgrepl@xxxxxxxxxx>: > Yesterday I started with a new blog set called "SELinux insides". > > See > > https://mgrepl.wordpress.com/2015/06/14/selinux-insides-part1-policy-module-store-policy-modules-and-kernel-policy/ > > Your comments, ideas are welcome. Interesting, keep it coming. You abbreviate the path: .te ---checkmodule---> .mod In practice, it is: .te ---make +----> .mod | | +----m4----checkmodule---+ (It might have been a better idea to give a different extension to the te-with-m4-macros files. You can't give those .te files to checkmodule) Where's the plain .te file format documented, BTW? "Man checkmodule" doesn't give it. Examples abound but I can't seem to find the definitive specification (syntax and semantics). Next, where's the .te-with-m4-macros language documented? Marko -- selinux mailing list selinux@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/selinux