From 118e1291522f69db56fa94ade751c1c12279fc57 Mon Sep 17 00:00:00 2001
From: Szczepan Zalega <szczepan@nitrokey.com>
Date: Tue, 6 Aug 2019 16:46:20 +0200
Subject: [PATCH] Set firmware version in the flash

---
 fido2/version.c | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 fido2/version.c

diff --git a/fido2/version.c b/fido2/version.c
new file mode 100644
index 0000000..dd8da5b
--- /dev/null
+++ b/fido2/version.c
@@ -0,0 +1,13 @@
+#include "version.h"
+
+
+static const version_t firmware_version __attribute__ ((section (".flag"))) __attribute__ ((__used__)) =  {
+  .major = SOLO_VERSION_MAJ,
+  .minor = SOLO_VERSION_MIN,
+  .patch = SOLO_VERSION_PATCH,
+  .reserved = 0
+};
+
+// from tinycbor, for a quick static_assert
+#include <compilersupport_p.h>
+cbor_static_assert(sizeof(version_t) == 4);