+/* Watchdog timer */
+
+#define AO_WATCHDOG_INTERVAL AO_MS_TO_TICKS(40)
+#define AO_WATCHDOG_PORT (&stm_gpiod)
+#define AO_WATCHDOG_BIT 3
+
+/* MRAM device */
+
+#define AO_MR25_SPI_CS_PORT (&stm_gpiod)
+#define AO_MR25_SPI_CS_PIN 0
+#define AO_MR25_SPI_BUS AO_SPI_2_PB13_PB14_PB15
+
+/* SD card */
+
+#define AO_SDCARD_SPI_CS_PORT (&stm_gpiod)
+#define AO_SDCARD_SPI_CS_PIN 1
+#define AO_SDCARD_SPI_BUS AO_SPI_2_PB13_PB14_PB15
+#define AO_SDCARD_SPI_PORT (&stm_gpiob)
+#define AO_SDCARD_SPI_SCK_PIN 13
+#define AO_SDCARD_SPI_MISO_PIN 14
+#define AO_SDCARD_SPI_MOSI_PIN 15
+