1 files changed, 6 insertions, 0 deletions
diff --git a/src/platform.h b/src/platform.h
new file mode 100644
index 0000000..b93142b
--- /dev/null
+++ b/src/platform.h
@@ -0,0 +1,6 @@
+#ifndef _PLATFORM_H_
+#define _PLATFORM_H_
+
+int nr_cpus();
+
+#endif /* _PLATFORM_H_ */