From c0d1963d63bbe5c7819566435e7a4e97850df18c Mon Sep 17 00:00:00 2001
From: Ayke van Laethem <aykevanlaethem@gmail.com>
Date: Tue, 18 Sep 2018 20:45:02 +0200
Subject: [PATCH] runtime/nrf: remove some leftover header files

---
 src/runtime/nrfx_config.h | 4 ----
 src/runtime/nrfx_glue.h   | 0
 src/runtime/runtime_nrf.h | 6 ------
 3 files changed, 10 deletions(-)
 delete mode 100644 src/runtime/nrfx_config.h
 delete mode 100644 src/runtime/nrfx_glue.h
 delete mode 100644 src/runtime/runtime_nrf.h

diff --git a/src/runtime/nrfx_config.h b/src/runtime/nrfx_config.h
deleted file mode 100644
index f2086eb4..00000000
--- a/src/runtime/nrfx_config.h
+++ /dev/null
@@ -1,4 +0,0 @@
-
-#pragma once
-
-#define NRFX_ASSERT(expression) do { bool res = expression; (void)res; } while (0)
diff --git a/src/runtime/nrfx_glue.h b/src/runtime/nrfx_glue.h
deleted file mode 100644
index e69de29b..00000000
diff --git a/src/runtime/runtime_nrf.h b/src/runtime/runtime_nrf.h
deleted file mode 100644
index 1ae8572e..00000000
--- a/src/runtime/runtime_nrf.h
+++ /dev/null
@@ -1,6 +0,0 @@
-
-#pragma once
-
-#include <stdint.h>
-
-void rtc_sleep(uint32_t ticks);