diff --git a/arch/arm/src/tiva/Kconfig b/arch/arm/src/tiva/Kconfig
index 3d344b514a2..a560dbc99b4 100644
--- a/arch/arm/src/tiva/Kconfig
+++ b/arch/arm/src/tiva/Kconfig
@@ -1610,6 +1610,10 @@ config TIVA_CAN_ERR_HANDLER_PER
 
 endmenu
 
+config TIVA_WITH_QEMU
+	bool "Run with qemu"
+	default n
+
 if TIVA_ETHERNET
 
 menu "Stellaris Ethernet Configuration"
@@ -1667,10 +1671,6 @@ config TIVA_DUMPPACKET
 	---help---
 		Dump each packet received/sent to the console.
 
-config TIVA_WITH_QEMU
-	bool "Workaround for tiva with qemu"
-	default n
-
 endmenu # Stellaris Ethernet Configuration
 
 menu "Ethernet Configuration"