| # HwBinder IPC from client to server, and callbacks |
| binder_call(hal_dumpstate_client, hal_dumpstate_server) |
| binder_call(hal_dumpstate_server, hal_dumpstate_client) |
| |
| set_prop(hal_dumpstate_server, hal_dumpstate_config_prop) |
| |
| hal_attribute_hwservice(hal_dumpstate, hal_dumpstate_hwservice) |
| hal_attribute_service(hal_dumpstate, hal_dumpstate_service) |
| |
| binder_call(hal_dumpstate_server, servicemanager) |
| |
| binder_use(hal_dumpstate_server) |
| |
| # write bug reports in /data/data/com.android.shell/files/bugreports/bugreport |
| allow hal_dumpstate shell_data_file:file write; |
| # allow reading /proc/interrupts for all hal impls |
| allow hal_dumpstate proc_interrupts:file r_file_perms; |
| |
| # Log fsck results |
| r_dir_file(hal_dumpstate, fscklogs) |