diff --git a/public/file.te b/public/file.te
index 611500cac58ca90619749c605de73cf5d6d8f3fc..20aea9d12b02ba91ec1d67ef5cb177de201d844f 100644
--- a/public/file.te
+++ b/public/file.te
@@ -64,7 +64,7 @@ type mqueue, fs_type;
 type fuse, sdcard_type, fs_type, mlstrustedobject;
 type sdcardfs, sdcard_type, fs_type, mlstrustedobject;
 type vfat, sdcard_type, fs_type, mlstrustedobject;
-type debugfs, fs_type;
+type debugfs, fs_type, debugfs_type;
 type debugfs_mmc, fs_type, debugfs_type;
 type debugfs_trace_marker, fs_type, debugfs_type, mlstrustedobject;
 type debugfs_tracing, fs_type, debugfs_type;