# Copyright (C) 2005 Tresys Technology, LLC

## <module name="modutils" layer="system">

## <summary>Policy for kernel module utilities</summary>

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

## <interface name="modutils_read_kernel_module_dependencies">

##	<description>

##		Read the dependencies of kernel modules.

##	</description>

##	<parameter name="domain">

##		The type of the process performing this action.

##	</parameter>

##	<infoflow type="read" weight="10"/>

## </interface>

#

define(`modutils_read_kernel_module_dependencies',`

requires_block_template(`$0'_depend)

bootloader_list_kernel_modules($1,optional)

allow $1 modules_dep_t:file { getattr read };

')

define(`modutils_read_kernel_module_dependencies_depend',`

type modules_dep_t;

class file { getattr create read write setattr unlink };

class dir { search read write add_name remove_name };

bootloader_list_kernel_modules_depend

')

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

## <interface name="modutils_read_kernel_module_loading_config">

##	<description>

##		Read the configuration options used when

##		loading modules.

##	</description>

##	<parameter name="domain">

##		The type of the process performing this action.

##	</parameter>

##	<infoflow type="read" weight="10"/>

## </interface>

#

define(`modutils_read_kernel_module_loading_config',`

requires_block_template(`$0'_depend)

allow $1 modules_conf_t:file { getattr read };

')

define(`modutils_read_kernel_module_loading_config_depend',`

type modules_conf_t;

class file { getattr create read write setattr unlink };

')

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

## <interface name="modutils_insmod_transition">

##	<description>

##		Execute insmod in the insmod domain.

##	</description>

##	<parameter name="domain">

##		The type of the process performing this action.

##	</parameter>

##	<infoflow type="write" weight="10"/>

## </interface>

#

define(`modutils_insmod_transition',`

requires_block_template(`$0'_depend)

allow $1 insmod_exec_t:file { getattr read execute };

allow $1 insmod_t:process transition;

type_transition $1 insmod_exec_t:process insmod_t;

dontaudit $1 insmod_t:process { noatsecure siginh rlimitinh };

')

define(`modutils_insmod_transition_depend',`

type insmod_t;

class file { getattr read execute };

class process { transition noatsecure siginh rlimitinh };

')

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

## <interface name="modutils_insmod_transition_add_role_use_terminal">

##	<description>

##		Execute insmod in the insmod domain, and

##		allow the specified role the insmod domain,

##		and use the caller's terminal.

##	</description>

##	<parameter name="domain">

##		The type of the process performing this action.

##	</parameter>

##	<parameter name="role">

##		The role to be allowed the insmod domain.

##	</parameter>

##	<parameter name="terminal">

##		The type of the terminal allow the insmod domain to use.

##	</parameter>

##	<infoflow type="write" weight="10"/>

## </interface>

#

define(`modutils_insmod_transition_add_role_use_terminal',`

requires_block_template(`$0'_depend)

modutils_insmod_transition($1)

role $2 types insmod_t;

allow insmod_t $3:chr_file { getattr read write ioctl };

')

define(`modutils_insmod_transition_add_role_use_terminal_depend',`

type insmod_t;

class chr_file { getattr read write ioctl };

')

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

#

# modutils_insmod_execute(domain)

#

define(`modutils_insmod_execute',`

requires_block_template(`$0'_depend)

allow $1 insmod_exec_t:file { getattr read execute execute_no_trans };

')

define(`modutils_insmod_execute_depend',`

type insmod_t;

class file { getattr read execute execute_no_trans };

')

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

## <interface name="modutils_depmod_transition">

##	<description>

##		Execute depmod in the depmod domain.

##	</description>

##	<parameter name="domain">

##		The type of the process performing this action.

##	</parameter>

##	<infoflow type="write" weight="10"/>

## </interface>

#

define(`modutils_depmod_transition',`

requires_block_template(`$0'_depend)

allow $1 depmod_exec_t:file { getattr read execute };

allow $1 depmod_t:process transition;

type_transition $1 depmod_exec_t:process depmod_t;

dontaudit $1 depmod_t:process { noatsecure siginh rlimitinh };

')

define(`modutils_depmod_transition_depend',`

type depmod_t;

class file { getattr read execute };

class process { transition noatsecure siginh rlimitinh };

')

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

## <interface name="modutils_depmod_transition_add_role_use_terminal">

##	<description>

##		Execute depmod in the depmod domain.

##	</description>

##	<parameter name="domain">

##		The type of the process performing this action.

##	</parameter>

##	<parameter name="role">

##		The role to be allowed the depmod domain.

##	</parameter>

##	<parameter name="terminal">

##		The type of the terminal allow the depmod domain to use.

##	</parameter>

##	<infoflow type="write" weight="10"/>

## </interface>

#

define(`modutils_depmod_transition_add_role_use_terminal',`

requires_block_template(`$0'_depend)

modutils_depmod_transition($1)

role $2 types insmod_t;

allow insmod_t $3:chr_file { getattr read write ioctl };

')

define(`modutils_depmod_transition_add_role_use_terminal_depend',`

type depmod_t;

class chr_file { getattr read write ioctl };

')

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

#

# modutils_depmod_execute(domain)

#

define(`modutils_depmod_execute',`

requires_block_template(`$0'_depend)

allow $1 depmod_exec_t:file { getattr read execute execute_no_trans };

')

define(`modutils_depmod_execute_depend',`

type depmod_t;

class file { getattr read execute execute_no_trans };

')

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

## <interface name="modutils_update_modules_transition">

##	<description>

##		Execute depmod in the depmod domain.

##	</description>

##	<parameter name="domain">

##		The type of the process performing this action.

##	</parameter>

##	<infoflow type="write" weight="10"/>

## </interface>

#

define(`modutils_update_modules_transition',`

requires_block_template(`$0'_depend)

allow $1 update_modules_exec_t:file { getattr read execute };

allow $1 update_modules_t:process transition;

type_transition $1 update_modules_exec_t:process update_modules_t;

dontaudit $1 update_modules_t:process { noatsecure siginh rlimitinh };

')

define(`modutils_update_modules_transition_depend',`

type update_modules_t;

class file { getattr read execute };

class process { transition noatsecure siginh rlimitinh };

')

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

## <interface name="modutils_update_modules_transition_add_role_use_terminal">

##	<description>

##		Execute update_modules in the update_modules domain.

##	</description>

##	<parameter name="domain">

##		The type of the process performing this action.

##	</parameter>

##	<parameter name="role">

##		The role to be allowed the update_modules domain.

##	</parameter>

##	<parameter name="terminal">

##		The type of the terminal allow the update_modules domain to use.

##	</parameter>

##	<infoflow type="write" weight="10"/>

## </interface>

#

define(`modutils_update_modules_transition_add_role_use_terminal',`

requires_block_template(`$0'_depend)

modutils_update_modules_transition($1)

role $2 types update_modules_t;

allow update_modules_t $3:chr_file { getattr read write ioctl };

')

define(`modutils_update_modules_transition_add_role_use_terminal_depend',`

type update_modules_t;

class chr_file { getattr read write ioctl };

')

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

#

# modutils_update_modules_execute(domain)

#

define(`modutils_update_modules_execute',`

requires_block_template(`$0'_depend)

allow $1 update_modules_exec_t:file { getattr read execute execute_no_trans };

')

define(`modutils_update_modules_execute_depend',`

type update_modules_t;

class file { getattr read execute execute_no_trans };

')

## </module>