diff -r 000000000000 -r b3daa2ebea2f Microbit/machine.py
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Microbit/machine.py Sat Aug 24 17:04:25 2019 +0200
@@ -0,0 +1,27 @@
+# -*- coding: utf-8 -*-
+
+# Copyright (c) 2019 Detlev Offenbach <detlev@die-offenbachs.de>
+#
+
+"""
+Module containing stubs for API generation of the 'machine' module.
+"""
+
+def unique_id():
+ pass
+
+def reset():
+ pass
+
+def freq():
+ pass
+
+def disable_irq():
+ pass
+
+def enable_irq():
+ pass
+
+def time_pulse_us(pin, pulse_level, timeout_us=1000000):
+ pass
+
