| repo sync | 93bbc93 | 2013-05-06 13:40:43 -0700 | [diff] [blame] | 1 | type hci_init, domain; |
| repo sync | 3c31883 | 2013-05-14 21:40:49 -0700 | [diff] [blame] | 2 | permissive hci_init; |
| repo sync | 93bbc93 | 2013-05-06 13:40:43 -0700 | [diff] [blame] | 3 | type hci_exec, file_type, exec_type; |
| 4 | type hci_data_file, file_type; |
| 5 | domain_auto_trans(shell, hci_exec, hci_init) |
| 6 | |
| 7 | allow hci_init shell:fd use; |
| 8 | allow hci_init shell:fifo_file { write getattr }; |
| 9 | allow hci_init devpts:chr_file rw_file_perms; |
| 10 | allow hci_init smd_device:chr_file rw_file_perms; |
| 11 | allow hci_init bluetooth_data_file:file r_file_perms; |
| 12 | unix_socket_connect(hci_init, property, init) |