Move kernel sources to platform specific subdirs
diff --git a/etc/platforms/platforms.jmk b/etc/platforms/platforms.jmk
new file mode 100644
index 0000000..f4bac15
--- /dev/null
+++ b/etc/platforms/platforms.jmk
@@ -0,0 +1,7 @@
+# -*- tcl -*-
+
+isa x86_32
+device pc-generic x86_32
+
+isa riscv32
+device esp32c3 riscv32
diff --git a/etc/platforms/x86_32/x86_32.jmk b/etc/platforms/x86_32/x86_32.jmk
new file mode 100644
index 0000000..e7cfbbb
--- /dev/null
+++ b/etc/platforms/x86_32/x86_32.jmk
@@ -0,0 +1,3 @@
+# -*- tcl -*-
+
+# nothing
\ No newline at end of file