From 0a52f24e7bf5f5eb970983275c3bea88b095319b Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sat, 19 Apr 2014 08:05:49 -0600
Subject: [PATCH] ST32: Make selection of SDIO interrupt priority essentially
 impossible

---
 arch/arm/src/stm32/Kconfig | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/arch/arm/src/stm32/Kconfig b/arch/arm/src/stm32/Kconfig
index 16b02deb2f5..413a05c65b3 100644
--- a/arch/arm/src/stm32/Kconfig
+++ b/arch/arm/src/stm32/Kconfig
@@ -2722,8 +2722,9 @@ config SDIO_DMA
 config SDIO_PRI
 	hex "SDIO interrupt priority"
 	default 128
+	depends on ARCH_IRQPRIO && EXPERIMENTAL
 	---help---
-		Select SDIO interrupt prority.  Default: 128.
+		Select SDIO interrupt priority.  Default: 128.
 
 config SDIO_DMAPRIO
 	hex "SDIO DMA priority"