blob: f0d0e6a61327e1c6e42e8b19171a1758809391ad
| 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 |