From b0fdf8aa1d6dabb333d925226f2b75209b14056e Mon Sep 17 00:00:00 2001
From: Nick Kralevich <nnk@google.com>
Date: Thu, 4 Oct 2018 15:53:45 -0700
Subject: [PATCH] Add system_file_type

This file resides on /system, so must be annotated with the
system_file_type attribute.

Test: Policy compiles.
Change-Id: I0962be7cdfbbcad77e187f31355e8f604a929a8c
---
 sepolicy/private/ramoops.te | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sepolicy/private/ramoops.te b/sepolicy/private/ramoops.te
index 534fa656..ade857b2 100644
--- a/sepolicy/private/ramoops.te
+++ b/sepolicy/private/ramoops.te
@@ -1,5 +1,5 @@
 type ramoops, domain, coredomain;
-type ramoops_exec, exec_type, file_type;
+type ramoops_exec, exec_type, file_type, system_file_type;
 
 init_daemon_domain(ramoops);