• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1module modreq_obj_global 1.0;
2
3require {
4	class file { read };
5}
6
7type mod_global_t;
8
9type mod_foo_t;
10type mod_bar_t;
11
12optional {
13	require {
14		class sem { create destroy };
15	}
16
17	type mod_opt_t;
18
19	allow mod_foo_t mod_bar_t : sem { create destroy };
20}
21