Initial InfiniSim project

sim/nrfx/hal/nrf_rtc.cpp

@@ -0,0 +1,15 @@
+#include "hal/nrf_rtc.h"
+
+#include "task.h"
+#include <chrono>
+#include <stdexcept>
+
+uint32_t nrf_rtc_counter_get(NRF_RTC_Type p_reg)
+{
+  if (p_reg == portNRF_RTC_REG) {
+    TickType_t ticks_now = xTaskGetTickCount();
+    return ticks_now;
+  }
+  throw std::runtime_error("nrf_rtc_counter_get: unhandled NRF_RTC_Type: " + std::to_string(p_reg));
+  return 0;
+}