1type tinymix, domain, coredomain;
2type tinymix_exec, exec_type, system_file_type, file_type;
3
4init_daemon_domain(tinymix)
5
6allow tinymix audio_device:chr_file { ioctl open read write };
7allow tinymix audio_device:dir search;
8