## <module name="kernel" layer="kernel">

## <summary>

##	Policy for kernel threads, security interface (selinuxfs),

##	proc filesystem, sysfs filesystem, and usb device filesystem.

## </summary>

########################################

## <interface name="kernel_userland_entry">

## 	<description>

##		Allows to start userland processes

##		by transitioning to the specified domain.

## 	</description>

## 	<parameter name="domain">

##		The process type entered by kernel.

## 	</parameter>

## 	<parameter name="entrypoint">

##		The executable type for the entrypoint.

## 	</parameter>

## </interface>

#

define(`kernel_userland_entry',`

	requires_block_template(`$0'_depend)

	domain_auto_trans(kernel_t, $2, $1)

	allow $1 kernel_t:fd use;

	allow kernel_t $1:fd use;

	allow kernel_t $1:fifo_file rw_file_perms;

	allow $1 kernel_t:process sigchld;

')

define(`kernel_make_userland_entrypoint_depend',`

	type kernel_t;

	class process { transition noatsecure siginh rlimitinh sigchld };

	class file { getattr read execute };

	class fifo_file rw_file_perms;

	class fd use;

')

########################################

## <interface name="kernel_rootfs_mountpoint">

##	<description>

## 		Allows the kernel to mount filesystems on

## 		the specified directory type.

##	</description>

##	<parameter name="directory_type">

##		The type of the directory to use as a mountpoint.

##	</parameter>

## </interface>

#

define(`kernel_rootfs_mountpoint',`

	requires_block_template(`$0'_depend)

	allow kernel_t $1:dir mounton;

')

define(`kernel_rootfs_mountpoint_depend',`

	type kernel_t;

	class dir mounton;

')

########################################

## <interface name="kernel_share_state">

## 	<description>

## 		Allows the kernel to share state information with

## 		the caller.

## 	</description>

## 	<parameter name="domain">

## 		The type of the process with which to share state information.

## 	</parameter>

## </interface>

#

define(`kernel_share_state',`

	requires_block_template(`$0'_depend)

	allow kernel_t $1:process share;

')

define(`kernel_share_state_depend',`

	type kernel_t;

	class process share;

')

########################################

## <interface name="kernel_use_fd">

## 	<description>

## 		Permits caller to use kernel file descriptors.

## 	</description>

## 	<parameter name="domain">

## 		The type of the process using the descriptors.

## 	</parameter>

## </interface>

#

define(`kernel_use_fd',`

	requires_block_template(`$0'_depend)

	allow $1 kernel_t:fd use;

')

define(`kernel_use_fd_depend',`

	type kernel_t;

	class fd use;

')

########################################

## <interface name="kernel_dontaudit_use_fd">

## 	<description>

## 		Do not audit attempts to use

## 		kernel file descriptors.

## 	</description>

## 	<parameter name="domain">

## 		The type of process not to audit.

##	</parameter>

## </interface>

#

define(`kernel_dontaudit_use_fd',`

	requires_block_template(`$0'_depend)

	dontaudit $1 kernel_t:fd use;

')

define(`kernel_dontaudit_use_fd_depend',`

	type kernel_t;

	class fd use;

')

########################################

## <interface name="kernel_make_process_identity_change_constraint_exception">

##	<description>

## 		Makes caller an exception to the constraint preventing

## 		changing of user identity.

##	</description>

##	<parameter name="domain">

##		The process type to make an exception to the constraint.

##	</parameter>

## </interface>

#

define(`kernel_make_process_identity_change_constraint_exception',`

	requires_block_template(`$0'_depend)

	typeattribute $1 can_change_process_identity;

')

define(`kernel_make_process_identity_change_constraint_exception_depend',`

	attribute can_change_process_identity;

')

########################################

## <interface name="kernel_make_role_change_constraint_exception">

##	<description>

## 		Makes caller an exception to the constraint preventing

## 		changing of role.

##	</description>

##	<parameter name="domain">

##		The process type to make an exception to the constraint.

##	</parameter>

## </interface>

#

define(`kernel_make_role_change_constraint_exception',`

	requires_block_template(`$0'_depend)

	typeattribute $1 can_change_process_role;

')

define(`kernel_make_role_change_constraint_exception_depend',`

	attribute can_change_process_role;

')

########################################

## <interface name="kernel_make_object_identity_change_constraint_exception">

##	<description>

## 		Makes caller an exception to the constraint preventing 

## 		changing the user identity in object contexts.

##	</description>

##	<parameter name="domain">

##		The process type to make an exception to the constraint.

##	</parameter>

## </interface>

#

define(`kernel_make_object_identity_change_constraint_exception',`

	requires_block_template(`$0'_depend)

	typeattribute $1 can_change_object_identity;

')

define(`kernel_make_object_identity_change_constraint_exception_depend',`

	attribute can_change_object_identity;

')

########################################

## <interface name="kernel_load_module">

##	<description>

## 		Allows caller to load kernel modules

##	</description>

##	<parameter name="domain">

##		The process type to allow to load kernel modules.

##	</parameter>

## </interface>

#

define(`kernel_load_module',`

	requires_block_template(`$0'_depend)

	allow $1 self:capability sys_module;

	typeattribute $1 can_load_kernmodule;

')

define(`kernel_load_module_depend',`

	attribute can_load_kernmodule;

	class capability sys_module;

')

########################################

## <interface name="kernel_get_selinux_enforcement_mode">

##	<description>

## 		Allows the caller to get the mode of policy enforcement

## 		(enforcing or permissive mode).

##	</description>

##	<parameter name="domain">

##		The process type to allow to get the enforcing mode.

##	</parameter>

## </interface>

#

define(`kernel_get_selinux_enforcement_mode',`

	requires_block_template(`$0'_depend)

	allow $1 security_t:dir { read search getattr };

	allow $1 security_t:file { getattr read };

')

define(`kernel_get_selinux_enforcement_mode_depend',`

	type security_t;

	class dir { read search getattr };

	class file { getattr read };

')

########################################

## <interface name="kernel_set_enforcement_mode">

##	<description>

## 		Allow caller to set the mode of policy enforcement

## 		(enforcing or permissive mode).

##	</description>

##	<parameter name="domain">

##		The process type to allow to set the enforcement mode.

##	</parameter>

## </interface>

#

define(`kernel_set_enforcement_mode',`

	requires_block_template(`$0'_depend)

	allow $1 security_t:dir { read search getattr };

	allow $1 security_t:file { getattr read write };

	allow $1 security_t:security setenforce;

	auditallow $1 security_t:security setenforce;

	typeattribute $1 can_setenforce;

')

define(`kernel_set_enforcement_mode_depend',`

	type security_t;

	attribute can_setenforce;

	class dir { read search getattr };

	class file { getattr read write };

	class security setenforce;

')

########################################

## <interface name="kernel_load_policy">

##	<description>

## 		Allow caller to load the policy into the kernel.

##	</description>

##	<parameter name="domain">

##		The process type that will load the policy.

##	</parameter>

## </interface>

#

define(`kernel_load_policy',`

	requires_block_template(`$0'_depend)

	allow $1 security_t:dir { read search getattr };

	allow $1 security_t:file { getattr read write };

	allow $1 security_t:security load_policy;

	auditallow $1 security_t:security load_policy;

	typeattribute $1 can_load_policy;

')

define(`kernel_load_policy_depend',`

	type security_t;

	attribute can_load_policy;

	class dir { read search getattr };

	class file { getattr read write };

	class security load_policy;

')

########################################

## <interface name="kernel_set_boolean">

##	<description>

## 		Allow caller to set the state of Booleans to

## 		enable or disable conditional portions of the policy.

##	</description>

##	<parameter name="domain">

##		The process type allowed to set the Boolean.

##	</parameter>

##	<parameter name="booltype" optional="true">

##		The type of Booleans the caller is allowed to set.

##	</parameter>

## </interface>

#

define(`kernel_set_boolean',`

	requires_block_template(`$0'_depend)

	ifelse(`$2',`',`

		allow $1 security_t:dir { getattr search read };

		allow $1 security_t:file { getattr read write };

	',`

		allow $1 $2:dir { getattr search read };

		allow $1 $2:file { getattr read write };

	')

	allow $1 security_t:dir search;

	allow $1 security_t:security setbool;

	auditallow $1 security_t:security setbool;

')

define(`kernel_set_boolean_depend',`

	type security_t;

	class dir { read search getattr };

	class file { getattr read write };

	class security setbool;

')

########################################

## <interface name="kernel_set_security_parameters">

##	<description>

## 		Allow caller to set selinux security parameters.

##	</description>

##	<parameter name="domain">

##		The process type to allow to set security parameters.

##	</parameter>

## </interface>

#

define(`kernel_set_security_parameters',`

	requires_block_template(`$0'_depend)

	allow $1 security_t:dir { read search getattr };

	allow $1 security_t:file { getattr read write };

	allow $1 security_t:security setsecparam;

	auditallow $1 security_t:security setsecparam;

	typeattribute $1 can_setsecparam;

')

define(`kernel_set_security_parameters_depend',`

	type security_t;

	attribute can_setsecparam;

	class dir { read search getattr };

	class file { getattr read write };

	class security setsecparam;

')

########################################

## <interface name="kernel_validate_context">

##	<description>

## 		Allows caller to validate security contexts.

##	</description>

##	<parameter name="domain">

##		The process type permitted to validate contexts.

##	</parameter>

## </interface>

#

define(`kernel_validate_context',`

	requires_block_template(`$0'_depend)

	allow $1 security_t:dir { read search getattr };

	allow $1 security_t:file { getattr read write };

	allow $1 security_t:security check_context;

')

define(`kernel_validate_context_depend',`

	type security_t;

	class dir { read search getattr };

	class file { getattr read write };

	class security check_context;

')

########################################

## <interface name="kernel_compute_access_vector">

##	<description>

## 		Allows caller to compute an access vector.

##	</description>

##	<parameter name="domain">

##		The process type allowed to compute an access vector.

##	</parameter>

## </interface>

#

define(`kernel_compute_access_vector',`

	requires_block_template(`$0'_depend)

	allow $1 security_t:dir { read search getattr };

	allow $1 security_t:file { getattr read write };

	allow $1 security_t:security compute_av;

')

define(`kernel_compute_access_vector_depend',`

	type security_t;

	class dir { read search getattr };

	class file { getattr read write };

	class security compute_av;

')

########################################

## <interface name="kernel_compute_create_context">

##	<description>

## 		

##	</description>

##	<parameter name="domain">

##		

##	</parameter>

## </interface>

#

define(`kernel_compute_create_context',`

	requires_block_template(`$0'_depend)

	allow $1 security_t:dir { read search getattr };

	allow $1 security_t:file { getattr read write };

	allow $1 security_t:security compute_create;

')

define(`kernel_compute_create_context_depend',`

	type security_t;

	class dir { read search getattr };

	class file { getattr read write };

	class security compute_create;

')

########################################

## <interface name="kernel_compute_relabel_context">

##	<description>

## 		

##	</description>

##	<parameter name="domain">

##		The process type to 

##	</parameter>

## </interface>

#

define(`kernel_compute_relabel_context',`

	requires_block_template(`$0'_depend)

	allow $1 security_t:dir { read search getattr };

	allow $1 security_t:file { getattr read write };

	allow $1 security_t:security compute_relabel;

')

define(`kernel_compute_relabel_context_depend',`

	type security_t;

	class dir { read search getattr };

	class file { getattr read write };

	class security compute_relabel;

')

########################################

## <interface name="kernel_compute_reachable_user_contexts">

##	<description>

## 		Allows caller to compute possible contexts for a user.

##	</description>

##	<parameter name="domain">

##		The process type allowed to compute user contexts.

##	</parameter>

## </interface>

#

define(`kernel_compute_reachable_user_contexts',`

	requires_block_template(`$0'_depend)

	allow $1 security_t:dir { read search getattr };

	allow $1 security_t:file { getattr read write };

	allow $1 security_t:security compute_user;

')

define(`kernel_compute_selinux_reachable_user_contexts_depend',`

	type security_t;

	class dir { read search getattr };

	class file { getattr read write };

	class security compute_user;

')

########################################

## <interface name="kernel_read_ring_buffer">

##	<description>

## 		Allows caller to read the ring buffer.

##	</description>

##	<parameter name="domain">

##		The process type allowed to read the ring buffer.

##	</parameter>

## </interface>

#

define(`kernel_read_ring_buffer',`

	requires_block_template(`$0'_depend)

	allow $1 kernel_t:system syslog_read;

')

define(`kernel_read_ring_buffer_depend',`

	type kernel_t;

	class system syslog_read;

')

########################################

## <interface name="kernel_dontaudit_read_ring_buffer">

##	<description>

## 		Do not audit attempts to read the ring buffer.

##	</description>

##	<parameter name="domain">

##		The domain to not audit.

##	</parameter>

## </interface>

#

define(`kernel_dontaudit_read_ring_buffer',`

	requires_block_template(`$0'_depend)

	dontaudit $1 kernel_t:system syslog_read;

')

define(`kernel_dontaudit_read_ring_buffer_depend',`

	type kernel_t;

	class system syslog_read;

')

########################################

## <interface name="kernel_change_ring_buffer_level">

##	<description>

## 		

##	</description>

##	<parameter name="domain">

##		

##	</parameter>

## </interface>

#

define(`kernel_change_ring_buffer_level',`

	requires_block_template(`$0'_depend)

	allow $1 kernel_t:system syslog_console;

')

define(`kernel_change_ring_buffer_level_depend',`

	type kernel_t;

	class system syslog_console;

')

########################################

## <interface name="kernel_clear_ring_buffer">

##	<description>

## 		Allows the caller to clear the ring buffer.

##	</description>

##	<parameter name="domain">

##		The process type clearing the buffer.

##	</parameter>

## </interface>

#

define(`kernel_clear_ring_buffer',`

	requires_block_template(`$0'_depend)

	allow $1 kernel_t:system syslog_mod;

')

define(`kernel_clear_ring_buffer_depend',`

	type kernel_t;

	class system syslog_mod;

')

########################################

## <interface name="kernel_get_sysvipc_info">

##	<description>

## 		Get information on all System V IPC objects.

##	</description>

##	<parameter name="domain">

##		

##	</parameter>

## </interface>

#

define(`kernel_get_sysvipc_info',`

	requires_block_template(`$0'_depend)

	allow $1 kernel_t:system ipc_info;

')

define(`kernel_get_sysvipc_info_depend',`

	type kernel_t;

	class system ipc_info;

')

########################################

## <interface name="kernel_get_selinuxfs_mount_point">

##	<description>

## 		Gets the caller the mountpoint of the selinuxfs filesystem.

##	</description>

##	<parameter name="domain">

##		The process type requesting the selinuxfs mountpoint.

##	</parameter>

## </interface>

#

define(`kernel_get_selinuxfs_mount_point',`

	requires_block_template(`$0'_depend)

	allow $1 proc_t:dir search;

	allow $1 proc_t:{ file lnk_file } read;

	allow $1 self:dir search;

	allow $1 self:file { getattr read };

')

define(`kernel_get_selinuxfs_mount_point_depend',`

	type proc_t;

	class dir search;

	class lnk_file read;

	class file { getattr read };

')

########################################

## <interface name="kernel_read_system_state">

##	<description>

## 		Allows caller to read system state information.

##	</description>

##	<parameter name="domain">

##		The process type reading the system state information.

##	</parameter>

## </interface>

#

define(`kernel_read_system_state',`

	requires_block_template(`$0'_depend)

	allow $1 proc_t:dir r_dir_perms;

	allow $1 proc_t:lnk_file { getattr read };

	allow $1 proc_t:file r_file_perms;

')

define(`kernel_read_system_state_depend',`

	type proc_t;

	class dir r_dir_perms;

	class lnk_file { getattr read };

	class file r_file_perms;

')

########################################

## <interface name="kernel_dontaudit_read_system_state">

##	<description>

## 		Do not audit attempts by caller to 

## 		read system state information.

##	</description>

##	<parameter name="domain">

##		The process type not to audit.

##	</parameter>

## </interface>

#

define(`kernel_dontaudit_read_system_state',`

	requires_block_template(`$0'_depend)

	allow $1 proc_t:file read;

')

define(`kernel_dontaudit_read_system_state_depend',`

	type proc_t;

	class file read;

')

#######################################

## <interface name="kernel_read_software_raid_state">

##	<description>

## 		Allow caller to read the state information for software raid.

##	</description>

##	<parameter name="domain">

##		The process type reading software raid state.

##	</parameter>

## </interface>

#

define(`kernel_read_software_raid_state',`

	requires_block_template(`$0'_depend)

	allow $1 proc_t:dir r_dir_perms;

	allow $1 proc_mdstat_t:file r_file_perms;

')

define(`kernel_read_software_raid_state_depend',`

	type proc_t, proc_mdstat_t;

	class dir r_dir_perms;

	class file r_file_perms;

')

########################################

## <interface name="kernel_getattr_core">

##	<description>

## 		Allows caller to get attribues of core kernel interface.

##	</description>

##	<parameter name="domain">

##		The process type getting the attibutes.

##	</parameter>

## </interface>

#

define(`kernel_getattr_core',`

	requires_block_template(`$0'_depend)

	allow $1 proc_t:dir r_dir_perms;

	allow $1 proc_kcore_t:file getattr;

')

define(`kernel_getattr_core_depend',`

	type proc_t, proc_kcore_t;

	class dir { search getattr read };

	class file getattr;

')

########################################

## <interface name="kernel_dontaudit_getattr_core">

##	<description>

## 		Do not audit attempts to get the attributes of 

## 		core kernel interfaces.

##	</description>

##	<parameter name="domain">

##		The process type to not audit.

##	</parameter>

## </interface>

#

define(`kernel_dontaudit_getattr_core',`

	requires_block_template(`$0'_depend)

	dontaudit $1 proc_kcore_t:file getattr;

')

define(`kernel_dontaudit_getattr_core_depend',`

	type proc_kcore_t;

	class file getattr;

')

########################################

## <interface name="kernel_read_messages">

##	<description>

## 		Allow caller to read kernel messages

##		using the /proc/kmsg interface.

##	</description>

##	<parameter name="domain">

##		The process type reading the messages.

##	</parameter>

## </interface>

#

define(`kernel_read_messages',`

	requires_block_template(`$0'_depend)

	allow $1 proc_t:dir search;

	allow $1 proc_kmsg_t:file r_file_perms;

	typeattribute $1 can_receive_kernel_messages;

')

define(`kernel_read_messages_depend',`

	attribute can_receive_kernel_messages;

	type proc_kmsg_t, proc_t;

	class dir search;

	class file r_file_perms;

')

########################################

## <interface name="kernel_getattr_message_if">

##	<description>

## 		Allow caller to get the attributes of kernel message

## 		interface (/proc/kmsg).

##	</description>

##	<parameter name="domain">

##		The process type getting the attributes.

##	</parameter>

## </interface>

#

define(`kernel_getattr_message_if',`

	requires_block_template(`$0'_depend)

	allow $1 proc_t:dir search;

	allow $1 proc_kmsg_t:file getattr;

')

define(`kernel_getattr_message_if_depend',`

	type proc_kmsg_t, proc_t;

	class dir search;

	class file getattr;

')

########################################

## <interface name="kernel_dontaudit_getattr_message_if">

##	<description>

## 		Do not audit attempts by caller to get the attributes of kernel 

## 		message interfaces.

##	</description>

##	<parameter name="domain">

##		The process type not to audit.

##	</parameter>

## </interface>

#

define(`kernel_dontaudit_getattr_message_if',`

	requires_block_template(`$0'_depend)

	dontaudit $1 proc_kmsg_t:file getattr;

')

define(`kernel_dontaudit_getattr_message_if_depend',`

	type proc_kmsg_t, proc_t;

	class file getattr;

')

########################################

## <interface name="kernel_read_network_state">

##	<description>

## 		Allow caller to read the network state information.

##	</description>

##	<parameter name="domain">

##		The process type reading the state.

##	</parameter>

## </interface>

##

#

define(`kernel_read_network_state',`

	requires_block_template(`$0'_depend)

	allow $1 proc_t:dir search;

	allow $1 proc_net_t:dir r_dir_perms;

	allow $1 proc_net_t:file r_file_perms;

')

define(`kernel_read_network_state_depend',`

	type proc_t, proc_net_t;

	class dir r_dir_perms;

	class file r_file_perms;

')

########################################

## <interface name="kernel_dontaudit_search_sysctl_dir">

##	<description>

## 		Do not audit attempts by caller to search the sysctl directory.

##	</description>

##	<parameter name="domain">

##		The process type not to audit.

##	</parameter>

## </interface>

##

#

define(`kernel_dontaudit_search_sysctl_dir',`

	requires_block_template(`$0'_depend)

	dontaudit $1 sysctl_t:dir search;

')