Bug#812786: dose3: Please add support for hardened1-linux-amd64

[Balint Reczey <balint@balintreczey.hu>]

Package: dose3
Version: 4.1-3
Severity: wishlist
Tags: patch upstream
User: balint@balintreczey.hu
Usertags: hardened1-linux-amd64

Dear Dose3 Maintainers,

I have successfully bootstrapped the hardened1-linux-amd64 [1] port
using a set of patches [2].
I'm working towards making the port ready for being accepted to Debian
and the attached patch is the one adding the port support to dose3.

Dpkg support for the port is being discussed in #812782.

Accepting this patch would make (re-)bootstrapping the new port easier.

Thank you in advance,
Balint

[1]
http://balintreczey.hu/blog/proposing-amd64-hardened-architecture-for-debian/
[2] https://anonscm.debian.org/cgit/users/rbalint/rebootstrap.git/

diff --git a/deb/architecture.ml b/deb/architecture.ml
index 1fd7d0f..b7c1c27 100644
--- a/deb/architecture.ml
+++ b/deb/architecture.ml
@@ -52,6 +52,7 @@ let triplettable = ref [
   (("gnuabi64","linux","mips64"),    "mips64");             (* line 15 *)
   (("gnuspe","linux","powerpc"),     "powerpcspe");
   (("gnux32","linux","amd64"),       "x32");
+  (("gnuhardened1","linux","<cpu>"), "<cpu>");
   (("gnu","linux","<cpu>"),          "<cpu>");
   (("gnu","kfreebsd","<cpu>"),       "kfreebsd-<cpu>");
   (("gnu","knetbsd","<cpu>"),        "knetbsd-<cpu>");      (* line 20 *)