aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'policy/modules/contrib/vlock.if')
-rw-r--r--policy/modules/contrib/vlock.if46
1 files changed, 46 insertions, 0 deletions
diff --git a/policy/modules/contrib/vlock.if b/policy/modules/contrib/vlock.if
new file mode 100644
index 000000000..c5eeea08c
--- /dev/null
+++ b/policy/modules/contrib/vlock.if
@@ -0,0 +1,46 @@
+## <summary>Lock one or more sessions on the Linux console.</summary>
+
+#######################################
+## <summary>
+## Execute vlock in the vlock domain.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed to transition.
+## </summary>
+## </param>
+#
+interface(`vlock_domtrans',`
+ gen_require(`
+ type vlock_t, vlock_exec_t;
+ ')
+
+ corecmd_search_bin($1)
+ domtrans_pattern($1, vlock_exec_t, vlock_t)
+')
+
+########################################
+## <summary>
+## Execute vlock in the vlock domain, and
+## allow the specified role the vlock domain.
+## </summary>
+## <param name="domain">
+## <summary>
+## Domain allowed to transition.
+## </summary>
+## </param>
+## <param name="role">
+## <summary>
+## Role allowed to access.
+## </summary>
+## </param>
+## <rolecap/>
+#
+interface(`vlock_run',`
+ gen_require(`
+ type vlock_t;
+ ')
+
+ vlock_domtrans($1)
+ role $2 types vlock_t;
+')