From 46b92f487a39bfca1b078ad1da3a39528ccc5fc7 Mon Sep 17 00:00:00 2001
From: Alexandre Abadie <alexandre.abadie@inria.fr>
Date: Tue, 5 Jan 2021 17:56:21 +0100
Subject: [PATCH] boards/stm32f4discovery: use custom renode sysbus for uart

---
 boards/stm32f4discovery/Makefile.include | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/boards/stm32f4discovery/Makefile.include b/boards/stm32f4discovery/Makefile.include
index b9d86a40ac..68fc435d3a 100644
--- a/boards/stm32f4discovery/Makefile.include
+++ b/boards/stm32f4discovery/Makefile.include
@@ -9,3 +9,6 @@ PORT_DARWIN ?= $(firstword $(sort $(wildcard /dev/tty.SLAB_USBtoUART*)))
 PROGRAMMER ?= openocd
 DEBUG_ADAPTER ?= stlink
 STLINK_VERSION ?= 2
+
+# Tell renode on which UART stdio is available
+RENODE_SYSBUS_UART ?= sysbus.uart2