1 files changed, 38 insertions, 0 deletions
diff --git a/third_party/rlbox_wasm2c_sandbox/include/wasm2c_rt_minwasi.h b/third_party/rlbox_wasm2c_sandbox/include/wasm2c_rt_minwasi.h
new file mode 100644
index 0000000000..51542b5d1e
--- /dev/null
+++ b/third_party/rlbox_wasm2c_sandbox/include/wasm2c_rt_minwasi.h
@@ -0,0 +1,38 @@
+#ifndef WASM_RT_MINWASI_H_
+#define WASM_RT_MINWASI_H_
+
+/* A minimum wasi implementation supporting only stdin, stdout, stderr, argv
+ * (upto 100 args) and clock functions. */
+
+#include <stdbool.h>
+#include <stdint.h>
+
+#include "wasm-rt.h"
+
+#ifdef __cplusplus
+extern "C"
+{
+#endif
+
+  typedef struct w2c_wasi__snapshot__preview1
+  {
+    wasm_rt_memory_t* instance_memory;
+
+    uint32_t main_argc;
+    const char** main_argv;
+
+    uint32_t env_count;
+    const char** env;
+
+    void* clock_data;
+  } w2c_wasi__snapshot__preview1;
+
+  bool minwasi_init();
+  bool minwasi_init_instance(w2c_wasi__snapshot__preview1* wasi_data);
+  void minwasi_cleanup_instance(w2c_wasi__snapshot__preview1* wasi_data);
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif