diff --git a/sencha.resc b/sencha.resc
index efcabec..15fc07f 100644
--- a/sencha.resc
+++ b/sencha.resc
@@ -103,7 +103,8 @@
 # Kelvin programs.
 $gdb_port?=3333
 machine StartGdbServer $gdb_port false cpu0
-machine StartGdbServer $gdb_port false cpu1
+# TODO(sleffler) temp disable due to breakage
+#machine StartGdbServer $gdb_port false cpu1
 
 cpu0 IsHalted true
 cpu1 IsHalted true