diff --git a/attributes b/attributes index 64de61a5ea9487f6951e814a9d4484be4a323cff..613ed8f35e2bd7c35318a66a22d40da4bd6e7a39 100644 --- a/attributes +++ b/attributes @@ -11,6 +11,9 @@ attribute domain; # All types used for filesystems. attribute fs_type; +# All types used for context= mounts. +attribute contextmount_type; + # All types used for files that can exist on a labeled fs. # Do not use for pseudo file types. attribute file_type; diff --git a/file.te b/file.te index 4e2b717e6cf745f3538a0d6734555fc2c2a64773..1ea4a721f0e7ed1f1abe93a7879d74d48116a1d3 100644 --- a/file.te +++ b/file.te @@ -33,7 +33,7 @@ type sdcard_external, sdcard_type, fs_type, mlstrustedobject; type debugfs, fs_type, mlstrustedobject; type pstorefs, fs_type; type functionfs, fs_type; -type oemfs, fs_type; +type oemfs, fs_type, contextmount_type; type usbfs, fs_type; # File types