1 files changed, 3 insertions, 0 deletions
diff --git a/libmp/port/os.h b/libmp/port/os.h
new file mode 100644
index 00000000..f6dee3c6
--- /dev/null
+++ b/libmp/port/os.h
@@ -0,0 +1,3 @@
+#include <lib9.h>
+extern ulong truerand(void);
+extern vlong nsec(void);