1 type hal_dumpstate_impl, domain; 2 hal_server_domain(hal_dumpstate_impl, hal_dumpstate) 3 4 type hal_dumpstate_impl_exec, exec_type, file_type; 5 init_daemon_domain(hal_dumpstate_impl) 6 7 # Access to files for dumping 8 allow hal_dumpstate_impl proc_interrupts:file { open read }; 9 allow hal_dumpstate_impl pstorefs:dir search; 10 allow hal_dumpstate_impl sysfs:file { open read }; 11
