]>
Commit | Line | Data |
---|---|---|
9570b288 | 1 | policy_module(ada, 1.4.0) |
c655ec47 CP |
2 | |
3 | ######################################## | |
4 | # | |
5 | # Declarations | |
6 | # | |
7 | ||
8 | type ada_t; | |
9 | type ada_exec_t; | |
0bfccda4 | 10 | application_domain(ada_t, ada_exec_t) |
350b6ab7 | 11 | role system_r types ada_t; |
c655ec47 CP |
12 | |
13 | ######################################## | |
14 | # | |
15 | # Local policy | |
16 | # | |
17 | ||
350b6ab7 CP |
18 | allow ada_t self:process { execstack execmem }; |
19 | ||
af2d8802 | 20 | userdom_use_inherited_user_terminals(ada_t) |
296273a7 | 21 | |
350b6ab7 | 22 | optional_policy(` |
63f0a71c | 23 | unconfined_domain(ada_t) |
c655ec47 | 24 | ') |