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