Add ESP32C3 RISC-V stub
diff --git a/etc/platforms/platforms.jmk b/etc/platforms/platforms.jmk
index f4bac15..9f1bd90 100644
--- a/etc/platforms/platforms.jmk
+++ b/etc/platforms/platforms.jmk
@@ -1,7 +1,8 @@
# -*- tcl -*-
isa x86_32
-device pc-generic x86_32
+device generic x86_32
isa riscv32
device esp32c3 riscv32
+# device generic riscv32
diff --git a/etc/platforms/riscv32/riscv32.jmk b/etc/platforms/riscv32/riscv32.jmk
new file mode 100644
index 0000000..f8249b9
--- /dev/null
+++ b/etc/platforms/riscv32/riscv32.jmk
@@ -0,0 +1,9 @@
+# -*- tcl -*-
+
+set ::ld "clang --target=riscv32"
+set ::cc "clang --target=riscv32"
+set ::asm "clang --target=riscv32"
+
+cflags -mcmodel=medany -march=rv32ima -mabi=ilp32
+asmflags -nostdlib -c
+ldflags $::cflags
diff --git a/etc/platforms/x86_32/x86_32.jmk b/etc/platforms/x86_32/x86_32.jmk
index e7cfbbb..9f8f4b0 100644
--- a/etc/platforms/x86_32/x86_32.jmk
+++ b/etc/platforms/x86_32/x86_32.jmk
@@ -1,3 +1,4 @@
# -*- tcl -*-
-# nothing
\ No newline at end of file
+cflag -m32
+asmflag -felf32