## timedatex - D-Bus service for system clock and RTC settings
########################################
##
## Execute timedatex_exec_t in the timedatex domain.
##
##
##
## Domain allowed to transition.
##
##
#
interface(`timedatex_domtrans',`
gen_require(`
type timedatex_t, timedatex_exec_t;
')
corecmd_search_bin($1)
domtrans_pattern($1, timedatex_exec_t, timedatex_t)
')
########################################
##
## Send and receive messages from
## timedatex over dbus.
##
##
##
## Domain allowed access.
##
##
#
interface(`timedatex_dbus_chat',`
gen_require(`
type timedatex_t;
class dbus send_msg;
')
allow $1 timedatex_t:dbus send_msg;
allow timedatex_t $1:dbus send_msg;
')
######################################
##
## Execute timedatex in the caller domain.
##
##
##
## Domain allowed access.
##
##
#
interface(`timedatex_exec',`
gen_require(`
type timedatex_exec_t;
')
corecmd_search_bin($1)
can_exec($1, timedatex_exec_t)
')