e996cb86cd4ae3b00855fb9ea38dcf48bb28c836vboxsyncmodule check 1.0;
e996cb86cd4ae3b00855fb9ea38dcf48bb28c836vboxsync type xserver_misc_device_t;
e996cb86cd4ae3b00855fb9ea38dcf48bb28c836vboxsync type xdm_t;
e996cb86cd4ae3b00855fb9ea38dcf48bb28c836vboxsync class chr_file { open read write };
e996cb86cd4ae3b00855fb9ea38dcf48bb28c836vboxsync#============= xdm_t ==============
e996cb86cd4ae3b00855fb9ea38dcf48bb28c836vboxsyncallow xdm_t xserver_misc_device_t:chr_file { open read write };