[pk,fesvr] improved proxykernel build system

Now uses a modified MCPPBS.  Add --host=riscv to configure path.

Front-end server now just searches PATH for riscv-pk, so just install the pk
to somewhere in your path.

1 files changed, 39 insertions, 0 deletions

diff --git a/pk/pk.h b/pk/pk.h
new file mode 100644
index 0000000..dfe68f7
--- /dev/null
+++ b/pk/pk.h
@@ -0,0 +1,39 @@
+#ifndef _PK_H
+#define _PK_H
+
+typedef struct
+{
+  long gpr[32];
+  long sr;
+  long epc;
+  long badvaddr;
+} trapframe_t;
+
+#define USER_MEM_SIZE 0x70000000
+#define USER_MAINVARS_SIZE 0x1000
+#define USER_START 0x10000
+
+#define panic(s,...) do { printk(s"\n", ##__VA_ARGS__); sys_exit(-1); } while(0)
+#define kassert(cond) do { if(!(cond)) panic("assertion failed: "#cond); } while(0)
+
+#ifdef __cplusplus
+extern "C" {
+#endif
+
+void printk(const char* s, ...);
+void init_tf(trapframe_t*, long pc, long sp);
+void pop_tf(trapframe_t*);
+void dump_tf(trapframe_t*);
+
+void unhandled_trap(trapframe_t*);
+void handle_syscall(trapframe_t*);
+void handle_breakpoint(trapframe_t*);
+void boot();
+
+void sys_exit(int code) __attribute__((noreturn));
+
+#ifdef __cplusplus
+}
+#endif
+
+#endif