1 type vsoc_guest_region_e2e_test, domain; 2 type vsoc_guest_region_e2e_test_exec, exec_type, vendor_file_type, file_type; 3 4 init_daemon_domain(vsoc_guest_region_e2e_test) 5 6 # Access region test devices 7 allow vsoc_guest_region_e2e_test region_e2e_test_device:chr_file rw_file_perms; 8
