From cef1f57e30e75ceb54610db1eb06d7cc3637431d Mon Sep 17 00:00:00 2001
From: Peli de Halleux <jhalleux@microsoft.com>
Date: Tue, 26 Apr 2016 17:09:15 -0700
Subject: [PATCH] expose device serial number in javascript

---
 libs/microbit/control.cpp | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/libs/microbit/control.cpp b/libs/microbit/control.cpp
index 7556c3ae..2d8cc1f5 100644
--- a/libs/microbit/control.cpp
+++ b/libs/microbit/control.cpp
@@ -163,4 +163,12 @@ namespace control {
     StringData* deviceName() {
         return ManagedString(microbit_friendly_name()).leakData();        
     }
+    
+    /**
+    * Derive a unique, consistent serial number of this device from internal data.
+    */
+    //%
+    int deviceSerialNumber() {
+        return microbit_serial_number();
+    }
 }