1type hal_rebootescrow_default, domain; 2hal_server_domain(hal_rebootescrow_default, hal_rebootescrow) 3get_prop(hal_rebootescrow_default, rebootescrow_hal_prop); 4 5type hal_rebootescrow_default_exec, exec_type, vendor_file_type, file_type; 6init_daemon_domain(hal_rebootescrow_default) 7 8type rebootescrow_device, dev_type; 9allow hal_rebootescrow_default rebootescrow_device:{ chr_file blk_file } rw_file_perms; 10allow hal_rebootescrow_default block_device:dir search; 11