Profiles: Add default/linux/amd64/17.0/hardened/selinux dev profile

diff --git a/profiles/default/linux/amd64/17.0/hardened/selinux/eapi b/profiles/default/linux/amd64/17.0/hardened/selinux/eapi
new file mode 100644 (file)
index 0000000..7ed6ff8
--- /dev/null
+++ b/profiles/default/linux/amd64/17.0/hardened/selinux/eapi
@@ -0,0 +1 @@
+5

diff --git a/profiles/default/linux/amd64/17.0/hardened/selinux/parent b/profiles/default/linux/amd64/17.0/hardened/selinux/parent
new file mode 100644 (file)
index 0000000..2190e97
--- /dev/null
+++ b/profiles/default/linux/amd64/17.0/hardened/selinux/parent
@@ -0,0 +1,2 @@
+..
+../../../../../../features/selinux

diff --git a/profiles/profiles.desc b/profiles/profiles.desc
index df08d53bc915a15f670598a4fc9ac5cf237ab08a..0a8b6baee11fecb11137dfb0af90fa309de05766 100644 (file)
--- a/profiles/profiles.desc
+++ b/profiles/profiles.desc
@@ -33,6 +33,7 @@ amd64           default/linux/amd64/13.0/x32                       dev
 amd64           default/linux/amd64/17.0                           stable
 amd64           default/linux/amd64/17.0/selinux                   dev
 amd64           default/linux/amd64/17.0/hardened                  dev
+amd64           default/linux/amd64/17.0/hardened/selinux          dev
 amd64           default/linux/amd64/17.0/desktop                   stable
 amd64           default/linux/amd64/17.0/desktop/gnome             stable
 amd64           default/linux/amd64/17.0/desktop/gnome/systemd     stable