ASR_BASE
Change-Id: Icf3719cc0afe3eeb3edc7fa80a2eb5199ca9dda1
diff --git a/marvell/services/selinux-policy/src/file/execfile/luaexecfile.cil b/marvell/services/selinux-policy/src/file/execfile/luaexecfile.cil
new file mode 100644
index 0000000..a1ed245
--- /dev/null
+++ b/marvell/services/selinux-policy/src/file/execfile/luaexecfile.cil
@@ -0,0 +1,31 @@
+;; -*- mode: CIL; fill-column: 79; indent-tabs-mode: nil; -*-
+;; SPDX-FileCopyrightText: © 2021 Dominick Grift <dominick.grift@defensec.nl>
+;; SPDX-License-Identifier: Unlicense
+
+(in .file
+ (call .lua.obj_type_transition_execfile (unconfined.subj_typeattr)))
+
+(block lua
+
+ ;;
+ ;; Contexts
+ ;;
+
+ (filecon
+ "/usr/bin/lua5\.1"
+ file
+ execfile_file_context)
+
+ ;;
+ ;; Macros
+ ;;
+
+ (macro obj_type_transition_execfile ((type ARG1))
+ (call .file.execfile_obj_type_transition
+ (ARG1 execfile file "lua5.1")))
+
+ ;;
+ ;; Policy
+ ;;
+
+ (blockinherit .file.exec.obj_template))