| David Anderson | 6d53efc | 2019-01-14 14:38:17 -0800 | [diff] [blame] | 1 | # gsid - Manager for GSI Installation |
| 2 | |||||
| 3 | type gsid, domain; | ||||
| 4 | type gsid_exec, exec_type, file_type, system_file_type; | ||||
| 5 | typeattribute gsid coredomain; | ||||
| 6 | |||||
| 7 | init_daemon_domain(gsid) | ||||
| 8 | |||||
| 9 | binder_use(gsid) | ||||
| 10 | add_service(gsid, gsi_service) | ||||