From 6ae87db7e1031d506a193248a624940fb47d00a5 Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Fri, 22 Mar 2019 22:35:38 +0800
Subject: [PATCH] commit missing file

---
 nix/gdb.nix | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 nix/gdb.nix

diff --git a/nix/gdb.nix b/nix/gdb.nix
new file mode 100644
index 0000000..9d281db
--- /dev/null
+++ b/nix/gdb.nix
@@ -0,0 +1,13 @@
+# TODO: gdb 8.2.1 from NixOS >= 19.XX is multiarch by default.
+# remove the following as `gdb` is already in scope
+
+{ stdenv, gdb }:
+
+gdb.override {
+  stdenv = stdenv.override {
+    targetPlatform = {
+      config = "arm-none-eabihf";
+      libc = "newlib";
+    };
+  };
+}