1 type vsoc_input_service, domain; 2 type vsoc_input_service_exec, exec_type, vendor_file_type, file_type; 3 4 init_daemon_domain(vsoc_input_service) 5 6 # I/O with /dev/uinput 7 allow vsoc_input_service uhid_device:chr_file rw_file_perms; 8 9 # Framebuffer I/O (needed to obtain the screen size) 10 allow vsoc_input_service region_screen_device:chr_file rw_file_perms; 11
