File displaylink.te of Package displaylink

module displaylink 1.0;

require {
	type usb_device_t;
	type lib_t;
	type init_t;
	class chr_file { ioctl open read write };
	class dir add_name;
	class fifo_file { create open read write };
}

#============= init_t ==============

allow init_t lib_t:dir add_name;
allow init_t lib_t:fifo_file { create open read write };
allow init_t usb_device_t:chr_file { ioctl open read write };