diff --git a/src/stm32/platform.c b/src/stm32/platform.c
index 77ae453..71458b1 100644
--- a/src/stm32/platform.c
+++ b/src/stm32/platform.c
@@ -78,6 +78,11 @@ int platform_init(void)
 			GPIO_CNF_OUTPUT_PUSHPULL, 
 			LED_RUN | LED_IDLE | LED_ERROR);
 
+	/* FIXME: This pin in intended to be input, but the TXS0108 fails
+	 * to release the device from reset if this floats. */
+	gpio_set_mode(GPIOA, GPIO_MODE_OUTPUT_2_MHZ, 
+			GPIO_CNF_OUTPUT_PUSHPULL, GPIO7);
+
 	/* Setup heartbeat timer */
 	systick_set_clocksource(STK_CTRL_CLKSOURCE_AHB_DIV8); 
 	systick_set_reload(900000);	/* Interrupt us at 10 Hz */