use codal pulse

libs/core/pins.cpp

@@ -254,6 +254,17 @@ namespace pins {
         MicroBitPin* pin = getPin((int)name);
         if (!pin) return 0;
 
+#if MICROBIT_CODAL
+        // set polarity
+        pin->setPolarity(PulseValue::High == value ? 1 : 0);
+        // record pulse
+        int period = pin->getPulseUs(maxDuration);
+        // timeout
+        if (DEVICE_CANCELLED == period)
+            return 0;
+        // success!
+        return period;
+#else
         int pulse = value == PulseValue::High ? 1 : 0;
         uint64_t tick =  system_timer_current_time_us();
         uint64_t maxd = (uint64_t)maxDuration;
@@ -269,6 +280,7 @@ namespace pins {
         }
         uint64_t end =  system_timer_current_time_us();
         return end - start;
+#endif
     }
 
     /**

pxtarget.json

@@ -153,7 +153,7 @@
                 "codalTarget": {
                     "name": "codal-microbit-v2",
                     "url": "https://github.com/lancaster-university/codal-microbit-v2",
-                    "branch": "v0.2.17",
+                    "branch": "v0.2.18",
                     "type": "git"
                 },
                 "codalBinary": "MICROBIT",