demo

demo/hello.c

@@ -0,0 +1,6 @@
+int printf(const char* format, ...);
+
+int main() {
+    printf("hello world %d\n", 42);
+    return 0;
+}

run.sh

@@ -0,0 +1,5 @@
+gcc boot.c boot-lib.c && 
+./a.out < $1 > $1.s &&
+riscv64-linux-gnu-gcc-12 -static $1.s boot-lib.c -o $1.out && 
+qemu-riscv64 $1.out
+echo $?