From 46e2729892ac02c7e9d7504859fe31ce71238d05 Mon Sep 17 00:00:00 2001 From: Ralf Ertzinger Date: Sun, 4 Dec 2016 18:42:59 +0000 Subject: [PATCH] Add include directory with some helper interfaces --- include/_sky_.if | 12 ++++++++++++ 1 file changed, 12 insertions(+) create mode 100644 include/_sky_.if diff --git a/include/_sky_.if b/include/_sky_.if new file mode 100644 index 0000000..614fdc2 --- /dev/null +++ b/include/_sky_.if @@ -0,0 +1,12 @@ +## +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; +'); -- 1.8.3.1