2005-06-07 22:36:07 +00:00
|
|
|
## <module name="clock" layer="system">
|
2005-06-01 14:17:43 +00:00
|
|
|
## <summary>Policy for reading and setting the hardware clock.</summary>
|
2005-05-05 21:40:32 +00:00
|
|
|
|
2005-05-19 21:06:06 +00:00
|
|
|
########################################
|
|
|
|
## <interface name="clock_transition">
|
|
|
|
## <description>
|
|
|
|
## Execute hwclock in the clock domain.
|
|
|
|
## </description>
|
|
|
|
## <parameter name="domain">
|
|
|
|
## The type of the process performing this action.
|
|
|
|
## </parameter>
|
|
|
|
## <infoflow type="write" weight="10"/>
|
|
|
|
## </interface>
|
2005-05-12 20:50:09 +00:00
|
|
|
#
|
|
|
|
define(`clock_transition',`
|
2005-06-03 12:25:14 +00:00
|
|
|
requires_block_template(`$0'_depend)
|
|
|
|
|
2005-06-08 13:41:05 +00:00
|
|
|
domain_auto_trans($1,hwclock_exec_t,hwclock_t)
|
2005-06-03 12:25:14 +00:00
|
|
|
|
|
|
|
allow $1 hwclock_t:fd use;
|
|
|
|
allow hwclock_t $1:fd use;
|
|
|
|
allow hwclock_t $1:fifo_file rw_file_perms;
|
|
|
|
allow hwclock_t $1:process sigchld;
|
2005-05-12 20:50:09 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
define(`clock_transition_depend',`
|
2005-06-03 12:25:14 +00:00
|
|
|
type hwclock_t, hwclock_exec_t;
|
|
|
|
|
2005-06-09 14:50:48 +00:00
|
|
|
class file rx_file_perms;
|
2005-06-03 12:25:14 +00:00
|
|
|
class process { transition noatsecure siginh rlimitinh sigchld };
|
|
|
|
class fd use;
|
|
|
|
class fifo_file rw_file_perms;
|
2005-05-12 20:50:09 +00:00
|
|
|
')
|
|
|
|
|
2005-05-19 21:06:06 +00:00
|
|
|
########################################
|
|
|
|
## <interface name="clock_transition_add_role_use_terminal">
|
|
|
|
## <description>
|
|
|
|
## Execute hwclock in the clock domain, and
|
|
|
|
## allow the specified role the hwclock domain.
|
|
|
|
## </description>
|
|
|
|
## <parameter name="domain">
|
|
|
|
## The type of the process performing this action.
|
|
|
|
## </parameter>
|
|
|
|
## <parameter name="role">
|
|
|
|
## The role to be allowed the clock domain.
|
|
|
|
## </parameter>
|
|
|
|
## <parameter name="terminal">
|
|
|
|
## The type of the terminal allow the clock domain to use.
|
|
|
|
## </parameter>
|
|
|
|
## <infoflow type="write" weight="10"/>
|
|
|
|
## </interface>
|
|
|
|
#
|
|
|
|
define(`clock_transition_add_role_use_terminal',`
|
2005-06-03 12:25:14 +00:00
|
|
|
requires_block_template(`$0'_depend)
|
|
|
|
|
|
|
|
clock_transition($1)
|
|
|
|
role $2 types hwclock_t;
|
|
|
|
allow hwclock_t $3:chr_file { getattr read write ioctl };
|
2005-05-19 21:06:06 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
define(`clock_transition_add_role_use_terminal_depend',`
|
2005-06-03 12:25:14 +00:00
|
|
|
type hwclock_t;
|
|
|
|
|
|
|
|
class chr_file { getattr read write ioctl };
|
2005-05-19 21:06:06 +00:00
|
|
|
')
|
|
|
|
|
2005-06-07 22:36:07 +00:00
|
|
|
########################################
|
|
|
|
## <interface name="clock_execute">
|
|
|
|
## <description>
|
|
|
|
## Execute hwclock
|
|
|
|
## </description>
|
|
|
|
## <parameter name="domain">
|
|
|
|
## The type of the process performing this action.
|
|
|
|
## </parameter>
|
|
|
|
## <infoflow type="execute" weight="10"/>
|
|
|
|
## </interface>
|
2005-05-12 20:50:09 +00:00
|
|
|
#
|
|
|
|
define(`clock_execute',`
|
2005-06-03 12:25:14 +00:00
|
|
|
requires_block_template(`$0'_depend)
|
|
|
|
|
2005-06-08 13:41:05 +00:00
|
|
|
can_exec($1,hwclock_exec_t)
|
2005-05-12 20:50:09 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
define(`clock_execute_depend',`
|
2005-06-03 12:25:14 +00:00
|
|
|
type hwclock_exec_t;
|
|
|
|
|
|
|
|
class file { getattr read execute execute_no_trans };
|
2005-05-12 20:50:09 +00:00
|
|
|
')
|
|
|
|
|
2005-06-07 22:36:07 +00:00
|
|
|
########################################
|
|
|
|
## <interface name="clock_modify_drift_records">
|
|
|
|
## <description>
|
|
|
|
## Allow executing domain to modify clock drift
|
|
|
|
## </description>
|
|
|
|
## <parameter name="domain">
|
|
|
|
## The type of the process performing this action.
|
|
|
|
## </parameter>
|
|
|
|
## <infoflow type="write" weight="10"/>
|
|
|
|
## </interface>
|
2005-05-05 21:40:32 +00:00
|
|
|
#
|
|
|
|
define(`clock_modify_drift_records',`
|
2005-06-03 12:25:14 +00:00
|
|
|
requires_block_template(`$0'_depend)
|
|
|
|
|
2005-06-08 13:41:05 +00:00
|
|
|
allow $1 adjtime_t:file rw_file_perms;
|
2005-06-03 12:25:14 +00:00
|
|
|
files_read_general_system_config_directory($1)
|
2005-05-05 21:40:32 +00:00
|
|
|
')
|
|
|
|
|
|
|
|
define(`clock_modify_drift_records_depend',`
|
2005-06-03 12:25:14 +00:00
|
|
|
type adjtime_t;
|
|
|
|
|
2005-06-08 13:41:05 +00:00
|
|
|
class file rw_file_perms;
|
2005-05-05 21:40:32 +00:00
|
|
|
')
|
2005-06-01 14:17:43 +00:00
|
|
|
|
|
|
|
## </module>
|