blob: 6e7672d47a7399f14bcb9adf46e752d6d88892c2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
module pulse-custom 1.2;
require {
type pulseaudio_t;
class sem { read write unix_write };
}
#============= pulseaudio_t ==============
allow pulseaudio_t self:sem { read write unix_write };
require {
type udev_tbl_t;
type pulseaudio_t;
class file { read getattr open };
}
#============= pulseaudio_t ==============
allow pulseaudio_t udev_tbl_t:file { read getattr open };
require {
type pulseaudio_t;
class sem destroy;
}
#============= pulseaudio_t ==============
allow pulseaudio_t self:sem destroy;
require {
type initrc_state_t;
type tmpfs_t;
type pulseaudio_t;
class sem { unix_read create getattr setattr associate };
class file { read write getattr open };
}
#============= pulseaudio_t ==============
allow pulseaudio_t initrc_state_t:file { read getattr open };
allow pulseaudio_t self:sem { unix_read create getattr setattr associate };
allow pulseaudio_t tmpfs_t:file { read write };
|