blob: 67a41a46aba0eaaf2dae62c7cc72309203a68dc2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
module modreq_obj_global 1.0;
require {
class file { read };
}
type mod_global_t;
type mod_foo_t;
type mod_bar_t;
optional {
require {
class sem { create destroy };
}
type mod_opt_t;
allow mod_foo_t mod_bar_t : sem { create destroy };
}
|
