type cros_bootstat, domain, chromeos_domain;

domain_auto_trans(cros_bootstat_domain, cros_bootstat_exec, cros_bootstat);

tmp_file(cros_bootstat, file);

r_dir_file(cros_bootstat, {
  sysfs
  sysfs_dm
  sysfs_loop
});
allow cros_bootstat cros_bootstat_domain:fd use;
allow cros_bootstat proc_uptime:file r_file_perms;
allow cros_bootstat device:blk_file getattr;
allow cros_bootstat cros_bootstat_tmp_file:file rw_file_perms;