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