1 files changed, 2 insertions, 0 deletions
diff --git a/file.te b/file.te
index 5c91cf0..9b7564f 100644
--- a/file.te
+++ b/file.te
@@ -45,6 +45,8 @@ type unlabeled, file_type;
 type system_file, file_type;
 # Type for /system/bin/logcat.
 type logcat_exec, exec_type, file_type;
+# /cores for coredumps on userdebug / eng builds
+type coredump_file, file_type;
 # Default type for anything under /data.
 type system_data_file, file_type, data_file_type;
 # /data/.layout_version or other installd-created files that