# Copyright (C) 2005 Tresys Technology, LLC

#######################################
#
# udev_transition(domain,[`optional'])
#
define(`udev_transition',`
requires_block_template(udev_transition_depend,$2)
allow $1 udev_exec_t:file { getattr read execute };
allow $1 udev_t:process transition;
type_transition $1 udev_exec_t:file udev_t;
dontaudit $1 udev_t:process { noatsecure siginh rlimitinh };
')

define(`udev_transition_depend',`
type udev_t, udev_exec_t;
class file { getattr read execute };
class process { transition noatsecure siginh rlimitinh };
')

########################################
#
# udev_read_database(domain,[`optional'])
#
define(`udev_read_database',`
requires_block_template(udev_read_database_depend,$2)
allow $1 udev_tdb_t:file { getattr read };
')

define(`udev_read_database_depend',`
type udev_tdb_t;
class file { getattr read };
')