Implement microbit_dal_version() and set MICROBIT_DAL_VERSION.

lancaster-university · Mar 11, 2024 · cca0631 · cca0631
1 parent 08ba1e7
commit cca0631
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/inc/MicroBitConfig.h b/inc/MicroBitConfig.h
@@ -288,7 +288,11 @@
 // if this isn't available, it can be defined manually as a configuration option.
 //
 #ifndef MICROBIT_DAL_VERSION
-    #define MICROBIT_DAL_VERSION                    "unknown"
+    #ifdef DEVICE_DAL_VERSION
+        #define MICROBIT_DAL_VERSION                DEVICE_DAL_VERSION
+    #else
+        #define MICROBIT_DAL_VERSION                "unknown"
+    #endif
 #endif
 
 // Allow USB serial events to wake the board from deep sleep.

diff --git a/source/MicroBitDevice.cpp b/source/MicroBitDevice.cpp
@@ -192,6 +192,10 @@ __NO_RETURN void microbit_reset()
     for (;;);
 }
 
+const char * microbit_dal_version() {
+    return MICROBIT_DAL_VERSION;
+}
+
 /**
   * Seed the random number generator (RNG).
   *