git://git.camperquake.de
/
selinux.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
d12d416
)
Add include directory with some helper interfaces
author
Ralf Ertzinger
<ralf@skytale.net>
Sun, 4 Dec 2016 18:42:59 +0000
(18:42 +0000)
committer
Ralf Ertzinger
<ralf@skytale.net>
Sun, 4 Dec 2016 18:42:59 +0000
(18:42 +0000)
include/_sky_.if
[new file with mode: 0644]
patch
|
blob
diff --git a/include/_sky_.if
b/include/_sky_.if
new file mode 100644
(file)
index 0000000..
614fdc2
--- /dev/null
+++ b/
include/_sky_.if
@@ -0,0
+1,12
@@
+## <summary></summary>
+interface(`_sky_files_use_tmp',`
+ type $2;
+ files_tmp_file($2)
+ files_tmp_filetrans($1, $2, file)
+ manage_files_pattern($1, $2, $2)
+');
+
+interface(`_sky_java_process',`
+ kernel_read_system_state($1)
+ allow $1 self:process execmem;
+');