Stage 7

cleonos/c/include/cleonos_rust_bridge.h

@@ -0,0 +1,9 @@
+#ifndef CLEONOS_RUST_BRIDGE_H
+#define CLEONOS_RUST_BRIDGE_H
+
+typedef unsigned long long u64;
+typedef unsigned long long usize;
+
+u64 cleonos_rust_guarded_len(const unsigned char *ptr, usize max_len);
+
+#endif

cleonos/c/include/cleonos_syscall.h

@@ -0,0 +1,16 @@
+#ifndef CLEONOS_SYSCALL_H
+#define CLEONOS_SYSCALL_H
+
+typedef unsigned long long u64;
+typedef unsigned long long usize;
+
+#define CLEONOS_SYSCALL_LOG_WRITE   0ULL
+#define CLEONOS_SYSCALL_TIMER_TICKS 1ULL
+#define CLEONOS_SYSCALL_TASK_COUNT  2ULL
+#define CLEONOS_SYSCALL_CUR_TASK    3ULL
+
+u64 cleonos_syscall(u64 id, u64 arg0, u64 arg1, u64 arg2);
+u64 cleonos_sys_log_write(const char *message, u64 length);
+u64 cleonos_sys_timer_ticks(void);
+
+#endif