Add include directory with some helper interfaces
authorRalf Ertzinger <ralf@skytale.net>
Sun, 4 Dec 2016 18:42:59 +0000 (18:42 +0000)
committerRalf Ertzinger <ralf@skytale.net>
Sun, 4 Dec 2016 18:42:59 +0000 (18:42 +0000)
include/_sky_.if [new file with mode: 0644]

diff --git a/include/_sky_.if b/include/_sky_.if
new file mode 100644 (file)
index 0000000..614fdc2
--- /dev/null
@@ -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;
+');