Gentoo Archives: gentoo-commits

From: Jason Zaman <gentoo@×××××××××.com>
To: gentoo-commits@l.g.o
Subject: [gentoo-commits] proj/hardened-refpolicy:perfinion commit in: policy/modules/kernel/
Date: Tue, 26 Aug 2014 19:45:52
Message-Id: 1409064730.c1cf5db371b24eaaed3fbb1f8eaf713f371a61fa.perfinion@gentoo
1 commit: c1cf5db371b24eaaed3fbb1f8eaf713f371a61fa
2 Author: Nicolas Iooss <nicolas.iooss <AT> m4x <DOT> org>
3 AuthorDate: Sat Aug 23 11:35:51 2014 +0000
4 Commit: Jason Zaman <gentoo <AT> perfinion <DOT> com>
5 CommitDate: Tue Aug 26 14:52:10 2014 +0000
6 URL: http://sources.gentoo.org/gitweb/?p=proj/hardened-refpolicy.git;a=commit;h=c1cf5db3
7
8 Label (/var)?/tmp/systemd-private-.../tmp like /tmp
9
10 Such directories are used by systemd as private mountpoints for
11 services.
12
13 ---
14 policy/modules/kernel/files.fc | 7 +++++++
15 1 file changed, 7 insertions(+)
16
17 diff --git a/policy/modules/kernel/files.fc b/policy/modules/kernel/files.fc
18 index 1a83f34..3c61990 100644
19 --- a/policy/modules/kernel/files.fc
20 +++ b/policy/modules/kernel/files.fc
21 @@ -191,6 +191,10 @@ ifdef(`distro_debian',`
22 /tmp/lost\+found -d gen_context(system_u:object_r:lost_found_t,mls_systemhigh)
23 /tmp/lost\+found/.* <<none>>
24
25 +/tmp/systemd-private-[^/]+ -d gen_context(system_u:object_r:tmp_t,s0-mls_systemhigh)
26 +/tmp/systemd-private-[^/]+/tmp -d gen_context(system_u:object_r:tmp_t,s0-mls_systemhigh)
27 +/tmp/systemd-private-[^/]+/tmp/.* <<none>>
28 +
29 #
30 # /usr
31 #
32 @@ -265,6 +269,9 @@ ifndef(`distro_redhat',`
33 /var/tmp/.* <<none>>
34 /var/tmp/lost\+found -d gen_context(system_u:object_r:lost_found_t,mls_systemhigh)
35 /var/tmp/lost\+found/.* <<none>>
36 +/var/tmp/systemd-private-[^/]+ -d gen_context(system_u:object_r:tmp_t,s0-mls_systemhigh)
37 +/var/tmp/systemd-private-[^/]+/tmp -d gen_context(system_u:object_r:tmp_t,s0-mls_systemhigh)
38 +/var/tmp/systemd-private-[^/]+/tmp/.* <<none>>
39 /var/tmp/vi\.recover -d gen_context(system_u:object_r:tmp_t,s0)
40
41 ifdef(`distro_debian',`