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