policy_module(hal, 1.20.0)

########################################
#
# Declarations
#

attribute hald_domain;

type hald_t, hald_domain;
type hald_exec_t;
init_daemon_domain(hald_t, hald_exec_t)

type hald_acl_t, hald_domain;
type hald_acl_exec_t;
domain_type(hald_acl_t)
domain_entry_file(hald_acl_t, hald_acl_exec_t)
role system_r types hald_acl_t;

type hald_cache_t;
files_runtime_file(hald_cache_t)

type hald_dccm_t, hald_domain;
type hald_dccm_exec_t;
domain_type(hald_dccm_t)
domain_entry_file(hald_dccm_t, hald_dccm_exec_t)
role system_r types hald_dccm_t;

type hald_keymap_t, hald_domain;
type hald_keymap_exec_t;
domain_type(hald_keymap_t)
domain_entry_file(hald_keymap_t, hald_keymap_exec_t)
role system_r types hald_keymap_t;

type hald_log_t;
logging_log_file(hald_log_t)

type hald_mac_t, hald_domain;
type hald_mac_exec_t;
domain_type(hald_mac_t)
domain_entry_file(hald_mac_t, hald_mac_exec_t)
role system_r types hald_mac_t;

type hald_runtime_t alias hald_var_run_t;
files_runtime_file(hald_runtime_t)

type hald_sonypic_t, hald_domain;
type hald_sonypic_exec_t;
domain_type(hald_sonypic_t)
domain_entry_file(hald_sonypic_t, hald_sonypic_exec_t)
role system_r types hald_sonypic_t;

type hald_tmp_t;
files_tmp_file(hald_tmp_t)

type hald_var_lib_t;
files_type(hald_var_lib_t)

########################################
#
# Common local policy
#

files_read_usr_files(hald_domain)

miscfiles_read_localization(hald_domain)

hal_stream_connect(hald_domain)

########################################
#
# Local policy
#

allow hald_t self:capability { chown dac_override dac_read_search kill mknod net_admin setgid setuid sys_admin sys_nice sys_rawio sys_tty_config };
dontaudit hald_t self:capability { sys_ptrace sys_tty_config };
allow hald_t self:process { getsched getattr signal_perms };
allow hald_t self:fifo_file rw_fifo_file_perms;
allow hald_t self:unix_stream_socket { accept listen };
allow hald_t self:netlink_kobject_uevent_socket create_socket_perms;
allow hald_t self:tcp_socket { accept listen };

manage_files_pattern(hald_t, hald_cache_t, hald_cache_t)

append_files_pattern(hald_t, hald_log_t, hald_log_t)
create_files_pattern(hald_t, hald_log_t, hald_log_t)
setattr_files_pattern(hald_t, hald_log_t, hald_log_t)
logging_log_filetrans(hald_t, hald_log_t, file)

manage_dirs_pattern(hald_t, hald_tmp_t, hald_tmp_t)
manage_files_pattern(hald_t, hald_tmp_t, hald_tmp_t)
files_tmp_filetrans(hald_t, hald_tmp_t, { file dir })

manage_dirs_pattern(hald_t, hald_var_lib_t, hald_var_lib_t)
manage_files_pattern(hald_t, hald_var_lib_t, hald_var_lib_t)
manage_sock_files_pattern(hald_t, hald_var_lib_t, hald_var_lib_t)

manage_dirs_pattern(hald_t, hald_runtime_t, hald_runtime_t)
manage_files_pattern(hald_t, hald_runtime_t, hald_runtime_t)
files_runtime_filetrans(hald_t, hald_runtime_t, { dir file })

domtrans_pattern(hald_t, hald_acl_exec_t, hald_acl_t)
domtrans_pattern(hald_t, hald_mac_exec_t, hald_mac_t)
domtrans_pattern(hald_t, hald_sonypic_exec_t, hald_sonypic_t)
domtrans_pattern(hald_t, hald_keymap_exec_t, hald_keymap_t)
domtrans_pattern(hald_t, hald_dccm_exec_t, hald_dccm_t)

allow hald_t hald_domain:process signal;

kernel_read_system_state(hald_t)
kernel_read_network_state(hald_t)
kernel_read_software_raid_state(hald_t)
kernel_rw_kernel_sysctl(hald_t)
kernel_read_fs_sysctls(hald_t)
kernel_rw_irq_sysctls(hald_t)
kernel_rw_vm_sysctls(hald_t)
kernel_write_proc_files(hald_t)
kernel_rw_net_sysctls(hald_t)
kernel_setsched(hald_t)
kernel_request_load_module(hald_t)

corecmd_exec_all_executables(hald_t)

dev_rw_usbfs(hald_t)
dev_read_rand(hald_t)
dev_read_urand(hald_t)
dev_read_input(hald_t)
dev_read_mouse(hald_t)
dev_rw_printer(hald_t)
dev_read_lvm_control(hald_t)
dev_getattr_all_chr_files(hald_t)
dev_rw_generic_usb_dev(hald_t)
dev_setattr_generic_usb_dev(hald_t)
dev_setattr_usbfs_files(hald_t)
dev_rw_power_management(hald_t)
dev_rw_sysfs(hald_t)
dev_read_video_dev(hald_t)

domain_use_interactive_fds(hald_t)
domain_read_all_domains_state(hald_t)
domain_dontaudit_ptrace_all_domains(hald_t)

files_exec_etc_files(hald_t)
files_getattr_all_mountpoints(hald_t)
files_rw_etc_runtime_files(hald_t)
files_manage_mnt_dirs(hald_t)
files_manage_mnt_files(hald_t)
files_manage_mnt_symlinks(hald_t)
files_create_boot_flag(hald_t)
files_getattr_all_dirs(hald_t)
files_getattr_all_files(hald_t)
files_read_kernel_img(hald_t)
files_rw_lock_dirs(hald_t)
files_read_runtime_files(hald_t)

fs_getattr_all_fs(hald_t)
fs_search_all(hald_t)
fs_list_inotifyfs(hald_t)
fs_list_auto_mountpoints(hald_t)
fs_mount_dos_fs(hald_t)
fs_unmount_dos_fs(hald_t)
fs_manage_dos_files(hald_t)
fs_manage_fusefs_dirs(hald_t)
fs_rw_removable_blk_files(hald_t)

mls_file_read_all_levels(hald_t)

selinux_get_fs_mount(hald_t)
selinux_validate_context(hald_t)
selinux_compute_access_vector(hald_t)
selinux_compute_create_context(hald_t)
selinux_compute_relabel_context(hald_t)
selinux_compute_user_contexts(hald_t)

storage_raw_read_removable_device(hald_t)
storage_raw_write_removable_device(hald_t)
storage_raw_read_fixed_disk(hald_t)
storage_raw_write_fixed_disk(hald_t)

term_setattr_unallocated_ttys(hald_t)
term_use_unallocated_ttys(hald_t)

auth_use_nsswitch(hald_t)
auth_read_pam_console_data(hald_t)

fstools_getattr_swap_files(hald_t)

init_domtrans_script(hald_t)
init_read_utmp(hald_t)

libs_exec_ld_so(hald_t)
libs_exec_lib_files(hald_t)

logging_send_audit_msgs(hald_t)
logging_send_syslog_msg(hald_t)

miscfiles_read_hwdata(hald_t)

modutils_domtrans(hald_t)
modutils_read_module_deps(hald_t)

seutil_read_config(hald_t)
seutil_read_default_contexts(hald_t)
seutil_read_file_contexts(hald_t)

sysnet_domtrans_dhcpc(hald_t)
sysnet_domtrans_ifconfig(hald_t)
sysnet_read_dhcp_config(hald_t)

userdom_dontaudit_use_unpriv_user_fds(hald_t)
userdom_dontaudit_search_user_home_dirs(hald_t)

optional_policy(`
	alsa_domtrans(hald_t)
	alsa_read_config(hald_t)
')

optional_policy(`
	bootloader_domtrans(hald_t)
')

optional_policy(`
	acpi_stream_connect(hald_t)
')

optional_policy(`
	bind_search_cache(hald_t)
')

optional_policy(`
	bluetooth_domtrans(hald_t)
')

optional_policy(`
	clock_domtrans(hald_t)
')

optional_policy(`
	cups_domtrans_config(hald_t)
	cups_signal_config(hald_t)
')

optional_policy(`
	dbus_system_bus_client(hald_t)
	dbus_connect_system_bus(hald_t)

	init_dbus_chat_script(hald_t)

	optional_policy(`
		networkmanager_dbus_chat(hald_t)
	')

	optional_policy(`
		policykit_dbus_chat(hald_t)
	')
')

optional_policy(`
	dmidecode_domtrans(hald_t)
')

optional_policy(`
	gpm_dontaudit_getattr_gpmctl(hald_t)
')

optional_policy(`
	hotplug_read_config(hald_t)
')

optional_policy(`
	lvm_domtrans(hald_t)
')

optional_policy(`
	mount_domtrans(hald_t)
')

optional_policy(`
	ntp_domtrans(hald_t)
')

optional_policy(`
	pcmcia_manage_runtime_files(hald_t)
	pcmcia_manage_runtime_chr_files(hald_t)
')

optional_policy(`
	podsleuth_domtrans(hald_t)
')

optional_policy(`
	ppp_domtrans(hald_t)
	ppp_read_rw_config(hald_t)
')

optional_policy(`
	policykit_domtrans_auth(hald_t)
	policykit_domtrans_resolve(hald_t)
	policykit_read_lib(hald_t)
	policykit_read_reload(hald_t)
')

optional_policy(`
	rpc_search_nfs_state_data(hald_t)
')

optional_policy(`
	seutil_sigchld_newrole(hald_t)
')

optional_policy(`
	shutdown_domtrans(hald_t)
')

optional_policy(`
	udev_domtrans(hald_t)
	udev_read_db(hald_t)
')

optional_policy(`
	usbmuxd_stream_connect(hald_t)
')

optional_policy(`
	updfstab_domtrans(hald_t)
')

optional_policy(`
	vbetool_domtrans(hald_t)
')

optional_policy(`
	virt_manage_images(hald_t)
')

########################################
#
# ACL local policy
#

allow hald_acl_t self:capability { dac_override fowner sys_resource };
allow hald_acl_t self:process { getattr signal };
allow hald_acl_t self:fifo_file rw_fifo_file_perms;

manage_dirs_pattern(hald_acl_t, hald_var_lib_t, hald_var_lib_t)
manage_files_pattern(hald_acl_t, hald_var_lib_t, hald_var_lib_t)

manage_dirs_pattern(hald_acl_t, hald_runtime_t, hald_runtime_t)
manage_files_pattern(hald_acl_t, hald_runtime_t, hald_runtime_t)
files_runtime_filetrans(hald_acl_t, hald_runtime_t, { dir file })

corecmd_exec_bin(hald_acl_t)

dev_getattr_all_chr_files(hald_acl_t)
dev_setattr_all_chr_files(hald_acl_t)
dev_getattr_generic_usb_dev(hald_acl_t)
dev_getattr_video_dev(hald_acl_t)
dev_setattr_video_dev(hald_acl_t)
dev_getattr_sound_dev(hald_acl_t)
dev_setattr_sound_dev(hald_acl_t)
dev_setattr_generic_usb_dev(hald_acl_t)
dev_setattr_usbfs_files(hald_acl_t)

fs_getattr_all_fs(hald_acl_t)

storage_getattr_removable_dev(hald_acl_t)
storage_setattr_removable_dev(hald_acl_t)
storage_getattr_fixed_disk_dev(hald_acl_t)
storage_setattr_fixed_disk_dev(hald_acl_t)

auth_use_nsswitch(hald_acl_t)

logging_send_syslog_msg(hald_acl_t)

optional_policy(`
	dbus_system_bus_client(hald_acl_t)

	optional_policy(`
		policykit_dbus_chat(hald_acl_t)
	')
')

optional_policy(`
	policykit_domtrans_auth(hald_acl_t)
	policykit_read_lib(hald_acl_t)
	policykit_read_reload(hald_acl_t)
')

########################################
#
# MAC local policy
#

allow hald_mac_t self:capability { setgid setuid sys_admin };

manage_dirs_pattern(hald_mac_t, hald_var_lib_t, hald_var_lib_t)
manage_files_pattern(hald_mac_t, hald_var_lib_t, hald_var_lib_t)

append_files_pattern(hald_mac_t, hald_log_t, hald_log_t)

kernel_read_system_state(hald_mac_t)

dev_read_sysfs(hald_mac_t)

auth_use_nsswitch(hald_mac_t)

logging_send_syslog_msg(hald_mac_t)
logging_search_logs(hald_mac_t)

########################################
#
# Sonypic local policy
#

dev_read_video_dev(hald_sonypic_t)
dev_write_video_dev(hald_sonypic_t)

manage_dirs_pattern(hald_sonypic_t, hald_var_lib_t, hald_var_lib_t)
manage_files_pattern(hald_sonypic_t, hald_var_lib_t, hald_var_lib_t)

append_files_pattern(hald_sonypic_t, hald_log_t, hald_log_t)

logging_search_logs(hald_sonypic_t)

########################################
#
# Keymap local policy
#

manage_dirs_pattern(hald_keymap_t, hald_var_lib_t, hald_var_lib_t)
manage_files_pattern(hald_keymap_t, hald_var_lib_t, hald_var_lib_t)

write_files_pattern(hald_keymap_t, hald_log_t, hald_log_t)

dev_rw_input_dev(hald_keymap_t)

files_read_etc_files(hald_keymap_t)

logging_search_logs(hald_keymap_t)

########################################
#
# Dccm local policy
#

allow hald_dccm_t self:capability chown;
allow hald_dccm_t self:process getsched;
allow hald_dccm_t self:fifo_file rw_fifo_file_perms;
allow hald_dccm_t self:tcp_socket create_stream_socket_perms;
allow hald_dccm_t self:udp_socket create_socket_perms;
allow hald_dccm_t self:netlink_route_socket rw_netlink_socket_perms;

manage_dirs_pattern(hald_dccm_t, hald_var_lib_t, hald_var_lib_t)
manage_files_pattern(hald_dccm_t, hald_var_lib_t, hald_var_lib_t)

manage_dirs_pattern(hald_dccm_t, hald_runtime_t, hald_runtime_t)
manage_files_pattern(hald_dccm_t, hald_runtime_t, hald_runtime_t)
manage_sock_files_pattern(hald_dccm_t, hald_runtime_t, hald_runtime_t)
files_runtime_filetrans(hald_dccm_t, hald_runtime_t, { dir file sock_file })

manage_sock_files_pattern(hald_dccm_t, hald_tmp_t, hald_tmp_t)
files_tmp_filetrans(hald_dccm_t, hald_tmp_t, sock_file)

append_files_pattern(hald_dccm_t, hald_log_t, hald_log_t)

kernel_search_network_sysctl(hald_dccm_t)

corenet_all_recvfrom_netlabel(hald_dccm_t)
corenet_tcp_sendrecv_generic_if(hald_dccm_t)
corenet_udp_sendrecv_generic_if(hald_dccm_t)
corenet_tcp_sendrecv_generic_node(hald_dccm_t)
corenet_udp_sendrecv_generic_node(hald_dccm_t)
corenet_tcp_bind_generic_node(hald_dccm_t)
corenet_udp_bind_generic_node(hald_dccm_t)

corenet_sendrecv_dhcpc_server_packets(hald_dccm_t)
corenet_udp_bind_dhcpc_port(hald_dccm_t)

corenet_sendrecv_ftp_server_packets(hald_dccm_t)
corenet_tcp_bind_ftp_port(hald_dccm_t)

corenet_sendrecv_dccm_server_packets(hald_dccm_t)
corenet_tcp_bind_dccm_port(hald_dccm_t)

dev_read_urand(hald_dccm_t)

logging_send_syslog_msg(hald_dccm_t)
logging_search_logs(hald_dccm_t)

hal_dontaudit_rw_dgram_sockets(hald_dccm_t)

optional_policy(`
	dbus_system_bus_client(hald_dccm_t)
')