profiles: add arm 17.0 profiles
authorMarkus Meier <maekke@gentoo.org>
Thu, 5 Jul 2018 17:13:59 +0000 (19:13 +0200)
committerMarkus Meier <maekke@gentoo.org>
Thu, 5 Jul 2018 17:13:59 +0000 (19:13 +0200)
Signed-off-by: Markus Meier <maekke@gentoo.org>
profiles/profiles.desc

index afac0df64f6adb1e2236a69b45623278ea762f64..0a06390604fc750b9d09cd72f37e40f797c04198 100644 (file)
@@ -93,6 +93,31 @@ arm             default/linux/arm/13.0/armv7a                   dev
 arm             default/linux/arm/13.0/armv7a/desktop           dev
 arm             default/linux/arm/13.0/armv7a/desktop/gnome     dev
 arm             default/linux/arm/13.0/armv7a/developer         dev
+arm             default/linux/arm/17.0                          stable
+arm             default/linux/arm/17.0/desktop                  dev
+arm             default/linux/arm/17.0/desktop/gnome            dev
+arm             default/linux/arm/17.0/desktop/gnome/systemd    dev
+arm             default/linux/arm/17.0/developer                dev
+arm             default/linux/arm/17.0/armv4                    dev
+arm             default/linux/arm/17.0/armv4/desktop            dev
+arm             default/linux/arm/17.0/armv4/desktop/gnome      dev
+arm             default/linux/arm/17.0/armv4/developer          dev
+arm             default/linux/arm/17.0/armv4t                   dev
+arm             default/linux/arm/17.0/armv4t/desktop           dev
+arm             default/linux/arm/17.0/armv4t/desktop/gnome     dev
+arm             default/linux/arm/17.0/armv4t/developer         dev
+arm             default/linux/arm/17.0/armv5te                  dev
+arm             default/linux/arm/17.0/armv5te/desktop          dev
+arm             default/linux/arm/17.0/armv5te/desktop/gnome    dev
+arm             default/linux/arm/17.0/armv5te/developer        dev
+arm             default/linux/arm/17.0/armv6j                   dev
+arm             default/linux/arm/17.0/armv6j/desktop           dev
+arm             default/linux/arm/17.0/armv6j/desktop/gnome     dev
+arm             default/linux/arm/17.0/armv6j/developer         dev
+arm             default/linux/arm/17.0/armv7a                   dev
+arm             default/linux/arm/17.0/armv7a/desktop           dev
+arm             default/linux/arm/17.0/armv7a/desktop/gnome     dev
+arm             default/linux/arm/17.0/armv7a/developer         dev
 
 # ARM64 Profiles
 # @MAINTAINER: arm64@gentoo.org