profiles: add default/linux/x86/17.0/hardened/selinux
authorJason Zaman <perfinion@gentoo.org>
Thu, 12 Apr 2018 07:36:14 +0000 (15:36 +0800)
committerJason Zaman <perfinion@gentoo.org>
Thu, 12 Apr 2018 07:37:36 +0000 (15:37 +0800)
Closes: https://bugs.gentoo.org/652222

profiles/default/linux/x86/17.0/hardened/selinux/eapi [new file with mode: 0644]
profiles/default/linux/x86/17.0/hardened/selinux/parent [new file with mode: 0644]
profiles/profiles.desc

diff --git a/profiles/default/linux/x86/17.0/hardened/selinux/eapi b/profiles/default/linux/x86/17.0/hardened/selinux/eapi
new file mode 100644 (file)
index 0000000..7ed6ff8
--- /dev/null
@@ -0,0 +1 @@
+5
diff --git a/profiles/default/linux/x86/17.0/hardened/selinux/parent b/profiles/default/linux/x86/17.0/hardened/selinux/parent
new file mode 100644 (file)
index 0000000..2190e97
--- /dev/null
@@ -0,0 +1,2 @@
+..
+../../../../../../features/selinux
index a1a9e19477267f26dbedbf0815d47d9087aa0460..5438111602b2218f6df249fbe07e111c414c2903 100644 (file)
@@ -239,6 +239,7 @@ x86         default/linux/x86/13.0/systemd                  stable
 x86             default/linux/x86/17.0                          stable
 x86             default/linux/x86/17.0/selinux                  stable
 x86             default/linux/x86/17.0/hardened                 stable
+x86             default/linux/x86/17.0/hardened/selinux         stable
 x86             default/linux/x86/17.0/desktop                  stable
 x86             default/linux/x86/17.0/desktop/gnome            stable
 x86             default/linux/x86/17.0/desktop/gnome/systemd    stable