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