+++ /dev/null
-## <summary>Abstract Machine Test Utility.</summary>
-
-########################################
-## <summary>
-## Execute a domain transition to run Amtu.
-## </summary>
-## <param name="domain">
-## <summary>
-## Domain allowed to transition.
-## </summary>
-## </param>
-#
-interface(`amtu_domtrans',`
- gen_require(`
- type amtu_t, amtu_exec_t;
- ')
-
- corecmd_search_bin($1)
- domtrans_pattern($1, amtu_exec_t, amtu_t)
-')
-
-########################################
-## <summary>
-## Execute a domain transition to run
-## Amtu, and allow the specified role
-## the Amtu domain.
-## </summary>
-## <param name="domain">
-## <summary>
-## Domain allowed to transition.
-## </summary>
-## </param>
-## <param name="role">
-## <summary>
-## Role allowed access.
-## </summary>
-## </param>
-#
-interface(`amtu_run',`
- gen_require(`
- type amtu_t;
- ')
-
- amtu_domtrans($1)
- role $2 types amtu_t;
-')
+++ /dev/null
-policy_module(amtu, 1.2.0)
-
-########################################
-#
-# Declarations
-#
-
-type amtu_t;
-type amtu_exec_t;
-domain_type(amtu_t)
-domain_entry_file(amtu_t, amtu_exec_t)
-
-########################################
-#
-# amtu local policy
-#
-
-kernel_read_system_state(amtu_t)
-
-files_manage_boot_files(amtu_t)
-files_read_etc_runtime_files(amtu_t)
-files_read_etc_files(amtu_t)
-
-logging_send_audit_msgs(amtu_t)
-
-userdom_use_inherited_user_terminals(amtu_t)
-
-optional_policy(`
- nscd_dontaudit_search_pid(amtu_t)
-')
-
-optional_policy(`
- seutil_use_newrole_fds(amtu_t)
-')