## <summary>

##	Policy for kernel threads, proc filesystem, 

##	and unlabeled processes and objects.

## </summary>

## <required val="true">

##	This module has initial SIDs.

## </required>

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

## <summary>

##	Allows to start userland processes

##	by transitioning to the specified domain.

## </summary>

## <param name="domain">

##	<summary>

##	The process type entered by kernel.

##	</summary>

## </param>

## <param name="entrypoint">

##	<summary>

##	The executable type for the entrypoint.

##	</summary>

## </param>

#

interface(`kernel_domtrans_to',`

	gen_require(`

		type kernel_t;

	')

	domtrans_pattern(kernel_t, $2, $1)

')

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

## <summary>

##	Allows to start userland processes

##	by transitioning to the specified domain,

##	with a range transition.

## </summary>

## <param name="domain">

##	<summary>

##	The process type entered by kernel.

##	</summary>

## </param>

## <param name="entrypoint">

##	<summary>

##	The executable type for the entrypoint.

##	</summary>

## </param>

## <param name="range">

##	<summary>

##	Range for the domain.

##	</summary>

## </param>

#

interface(`kernel_ranged_domtrans_to',`

	gen_require(`

		type kernel_t;

	')

	kernel_domtrans_to($1,$2)

	ifdef(`enable_mcs',`

		range_transition kernel_t $2:process $3;

	')

	ifdef(`enable_mls',`

		range_transition kernel_t $2:process $3;

	')

')

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

## <summary>

##	Allows the kernel to mount filesystems on

##	the specified directory type.

## </summary>

## <param name="directory_type">

##	<summary>

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

##	</summary>

## </param>

#

interface(`kernel_rootfs_mountpoint',`

	gen_require(`

		type kernel_t;

	')

	allow kernel_t $1:dir mounton;

')

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

## <summary>

##	Set the process group of kernel threads.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_setpgid',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:process setpgid;

')

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

## <summary>

##	Send a SIGCHLD signal to kernel threads.

## </summary>

## <param name="domain">

##	<summary>

##	The type of the process sending the signal.

##	</summary>

## </param>

#

interface(`kernel_sigchld',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:process sigchld;

')

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

## <summary>

##	Send a generic signal to kernel threads.

## </summary>

## <param name="domain">

##	<summary>

##	The type of the process sending the signal.

##	</summary>

## </param>

#

interface(`kernel_signal',`

	gen_require(`

		type kernel_t;

	')

	allow kernel_t $1:process signal;

')

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

## <summary>

##	Allows the kernel to share state information with

##	the caller.

## </summary>

## <param name="domain">

##	<summary>

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

##	</summary>

## </param>

#

interface(`kernel_share_state',`

	gen_require(`

		type kernel_t;

	')

	allow kernel_t $1:process share;

')

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

## <summary>

##	Permits caller to use kernel file descriptors.

## </summary>

## <param name="domain">

##	<summary>

##	The type of the process using the descriptors.

##	</summary>

## </param>

#

interface(`kernel_use_fds',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:fd use;

')

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

## <summary>

##	Do not audit attempts to use

##	kernel file descriptors.

## </summary>

## <param name="domain">

##	<summary>

##	The type of process not to audit.

##	</summary>

## </param>

#

interface(`kernel_dontaudit_use_fds',`

	gen_require(`

		type kernel_t;

	')

	dontaudit $1 kernel_t:fd use;

')

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

## <summary>

##	Read and write kernel unnamed pipes.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_rw_pipes',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:fifo_file { read write };

')

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

## <summary>

##	Read and write kernel unix datagram sockets.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_rw_unix_dgram_sockets',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:unix_dgram_socket { read write ioctl };

')

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

## <summary>

##	Send messages to kernel unix datagram sockets.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_dgram_send',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:unix_dgram_socket sendto;

')

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

## <summary>

##	Receive messages from kernel TCP sockets.  (Deprecated)

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_tcp_recvfrom',`

	refpolicywarn(`$0($*) has been deprecated.')

')

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

## <summary>

##	Send UDP network traffic to the kernel.  (Deprecated)

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_udp_send',`

	refpolicywarn(`$0($*) has been deprecated.')

')

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

## <summary>

##	Receive messages from kernel UDP sockets.  (Deprecated)

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_udp_recvfrom',`

	refpolicywarn(`$0($*) has been deprecated.')

')

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

## <summary>

##	Allows caller to load kernel modules

## </summary>

## <param name="domain">

##	<summary>

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

##	</summary>

## </param>

#

interface(`kernel_load_module',`

	gen_require(`

		attribute can_load_kernmodule;

	')

	allow $1 self:capability sys_module;

	typeattribute $1 can_load_kernmodule;

')

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

## <summary>

##	Allow search the kernel key ring.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_search_key',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:key search;

')

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

## <summary>

##	Allow link to the kernel key ring.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_link_key',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:key link;

')

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

## <summary>

##	Allows caller to read the ring buffer.

## </summary>

## <param name="domain">

##	<summary>

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

##	</summary>

## </param>

## <rolecap/>

#

interface(`kernel_read_ring_buffer',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:system syslog_read;

')

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

## <summary>

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

## </summary>

## <param name="domain">

##	<summary>

##	The domain to not audit.

##	</summary>

## </param>

#

interface(`kernel_dontaudit_read_ring_buffer',`

	gen_require(`

		type kernel_t;

	')

	dontaudit $1 kernel_t:system syslog_read;

')

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

## <summary>

##	Change the level of kernel messages logged to the console.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

## <rolecap/>

#

interface(`kernel_change_ring_buffer_level',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:system syslog_console;

')

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

## <summary>

##	Allows the caller to clear the ring buffer.

## </summary>

## <param name="domain">

##	<summary>

##	The process type clearing the buffer.

##	</summary>

## </param>

## <rolecap/>

#

interface(`kernel_clear_ring_buffer',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:system syslog_mod;

')

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

## <summary>

##	Get information on all System V IPC objects.

## </summary>

## <param name="domain">

##	<summary>

##	

##	</summary>

## </param>

#

interface(`kernel_get_sysvipc_info',`

	gen_require(`

		type kernel_t;

	')

	allow $1 kernel_t:system ipc_info;

')

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

## <summary>

##	Get the attributes of a kernel debugging filesystem.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_getattr_debugfs',`

	gen_require(`

		type debugfs_t;

	')

	allow $1 debugfs_t:filesystem getattr;

')

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

## <summary>

##	Mount a kernel debugging filesystem.

## </summary>

## <param name="domain">

##	<summary>

##	The type of the domain mounting the filesystem.

##	</summary>

## </param>

#

interface(`kernel_mount_debugfs',`

	gen_require(`

		type debugfs_t;

	')

	allow $1 debugfs_t:filesystem mount;

')

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

## <summary>

##	Unmount a kernel debugging filesystem.

## </summary>

## <param name="domain">

##	<summary>

##	The type of the domain unmounting the filesystem.

##	</summary>

## </param>

#

interface(`kernel_unmount_debugfs',`

	gen_require(`

		type debugfs_t;

	')

	allow $1 debugfs_t:filesystem unmount;

')

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

## <summary>

##	Remount a kernel debugging filesystem.

## </summary>

## <param name="domain">

##	<summary>

##	The type of the domain remounting the filesystem.

##	</summary>

## </param>

#

interface(`kernel_remount_debugfs',`

	gen_require(`

		type debugfs_t;

	')

	allow $1 debugfs_t:filesystem remount;

')

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

## <summary>

##	Search the contents of a kernel debugging filesystem.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_search_debugfs',`

	gen_require(`

		type debugfs_t;

	')

	search_dirs_pattern($1,debugfs_t,debugfs_t)

')

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

## <summary>

##	Read information from the debugging filesystem.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_read_debugfs',`

	gen_require(`

		type debugfs_t;

	')

	read_files_pattern($1,debugfs_t,debugfs_t)

	read_lnk_files_pattern($1,debugfs_t,debugfs_t)

	list_dirs_pattern($1,debugfs_t,debugfs_t)

')

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

## <summary>

##	Unmount the proc filesystem.

## </summary>

## <param name="domain">

##	<summary>

##	The type of the domain unmounting the filesystem.

##	</summary>

## </param>

#

interface(`kernel_unmount_proc',`

	gen_require(`

		type proc_t;

	')

	allow $1 proc_t:filesystem unmount;

')

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

## <summary>

##	Get the attributes of the proc filesystem.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_getattr_proc',`

	gen_require(`

		type proc_t;

	')

	allow $1 proc_t:filesystem getattr;

')

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

## <summary>

##	Search directories in /proc.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_search_proc',`

	gen_require(`

		type proc_t;

	')

	search_dirs_pattern($1,proc_t,proc_t)

')

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

## <summary>

##	List the contents of directories in /proc.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_list_proc',`

	gen_require(`

		type proc_t;

	')

	list_dirs_pattern($1,proc_t,proc_t)

')

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

## <summary>

##	Do not audit attempts to list the

##	contents of directories in /proc.

## </summary>

## <param name="domain">

##	<summary>

##	Domain to not audit.

##	</summary>

## </param>

#

interface(`kernel_dontaudit_list_proc',`

	gen_require(`

		type proc_t;

	')

	dontaudit $1 proc_t:dir list_dir_perms;

')

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

## <summary>

##	Get the attributes of files in /proc.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_getattr_proc_files',`

	gen_require(`

		type proc_t;

	')

	getattr_files_pattern($1,proc_t,proc_t)

')

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

## <summary>

##	Read symbolic links in /proc.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

#

interface(`kernel_read_proc_symlinks',`

	gen_require(`

		type proc_t;

	')

	read_lnk_files_pattern($1,proc_t,proc_t)

')

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

## <summary>

##	Allows caller to read system state information in proc.

## </summary>

## <param name="domain">

##	<summary>

##	The process type reading the system state information.

##	</summary>

## </param>

## <rolecap/>

#

interface(`kernel_read_system_state',`

	gen_require(`

		type proc_t;

	')

	read_files_pattern($1,proc_t,proc_t)

	read_lnk_files_pattern($1,proc_t,proc_t)

	list_dirs_pattern($1,proc_t,proc_t)

')

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

## <summary>

##	Write to generic proc entries.

## </summary>

## <param name="domain">

##	<summary>

##	Domain allowed access.

##	</summary>

## </param>

## <rolecap/>

#

# cjp: this should probably go away.  any

# file thats writable in proc should really

# have its own label.

#

interface(`kernel_write_proc_files',`

	gen_require(`

		type proc_t;

	')

	write_files_pattern($1,proc_t,proc_t)

')

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

## <summary>

##	Do not audit attempts by caller to

##	read system state information in proc.

## </summary>

## <param name="domain">

##	<summary>

##	The process type not to audit.

##	</summary>

## </param>

#

interface(`kernel_dontaudit_read_system_state',`

	gen_require(`

		type proc_t;

	')

	dontaudit $1 proc_t:file { getattr read };

')

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

## <summary>

##	Do not audit attempts by caller to

##	read system state information in proc.

## </summary>

## <param name="domain">

##	<summary>

##	The process type not to audit.

##	</summary>

## </param>

#

interface(`kernel_dontaudit_read_proc_symlinks',`

	gen_require(`

		type proc_t;

	')

	dontaudit $1 proc_t:lnk_file read;

')

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

## <summary>

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

## </summary>

## <param name="domain">

##	<summary>

##	The process type reading software raid state.

##	</summary>

## </param>

## <rolecap/>

#

interface(`kernel_read_software_raid_state',`

	gen_require(`

		type proc_t, proc_mdstat_t;

	')

	read_files_pattern($1,proc_t,proc_mdstat_t)

	list_dirs_pattern($1,proc_t,proc_t)

')

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

## <summary>

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

## </summary>

## <param name="domain">

##	<summary>

##	The process type reading software raid state.

##	</summary>

## </param>

#

interface(`kernel_rw_software_raid_state',`

	gen_require(`

		type proc_t, proc_mdstat_t;

	')

	rw_files_pattern($1,proc_t,proc_mdstat_t)

	list_dirs_pattern($1,proc_t,proc_t)

')

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

## <summary>

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

## </summary>

## <param name="domain">

##	<summary>

##	The process type getting the attibutes.

##	</summary>

## </param>

#

interface(`kernel_getattr_core_if',`

	gen_require(`

		type proc_t, proc_kcore_t;

	')

	getattr_files_pattern($1,proc_t,proc_kcore_t)

	list_dirs_pattern($1,proc_t,proc_t)

')

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

## <summary>

##	Do not audit attempts to get the attributes of

##	core kernel interfaces.

## </summary>

## <param name="domain">

##	<summary>

##	The process type to not audit.

##	</summary>

## </param>

#

interface(`kernel_dontaudit_getattr_core_if',`

	gen_require(`

		type proc_kcore_t;

	')

	dontaudit $1 proc_kcore_t:file getattr;

')

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

## <summary>

##	Allow caller to read kernel messages

##	using the /proc/kmsg interface.

## </summary>

## <param name="domain">

##	<summary>

##	The process type reading the messages.

##	</summary>

## </param>

#

interface(`kernel_read_messages',`

	gen_require(`

		attribute can_receive_kernel_messages;

		type proc_kmsg_t, proc_t;

	')

	read_files_pattern($1,proc_t,proc_kmsg_t)

	typeattribute $1 can_receive_kernel_messages;

')

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

## <summary>

##	Allow caller to get the attributes of kernel message

##	interface (/proc/kmsg).

## </summary>

## <param name="domain">

##	<summary>

##	The process type getting the attributes.

##	</summary>

## </param>

#

interface(`kernel_getattr_message_if',`