Project Properties for Project Using Full Reference Policy Source

For this type of project all project properties can be modified. When the project was created the Reference Policy was copied into the project directory. The following project properties can be modified:

The policy type (strict or targeted) and sub-type (standard, MLS, or MCS).
The build type: monolithic or modular.
The distribution the policy will run.
The build options for Quiet Build, Direct InitRC and Policyinstantiated Directory Support.
For monolithic builds, the generated policy binary version can be set explicitly or use the default.
The location from where the policy.xml is loaded (advanced). Change this only if the Makefile has been modified to build it in a different location.

The policy.xml file is the public interface documentation generated during the policy build process using the xml located in the public interface (.if) files before each interface.

The option for strict and targeted will not be available if the policy source doesn't distinguish between strict and targeted.

The policy build process is controlled by a Makefile located in the policy directory. The SLIDE Eclipse plugin uses this Makefile to build policy in the same way that it would be built from the command line.

In addition, this dialog allows for the setting of default values for booleans and tunables, as well as specifying how modules are built.