diff --git a/boards/arm/tiva/tm4c129e-launchpad/configs/ostest/defconfig b/boards/arm/tiva/tm4c129e-launchpad/configs/ostest/defconfig
index f8f4a4ad8d..2c54cad265 100644
--- a/boards/arm/tiva/tm4c129e-launchpad/configs/ostest/defconfig
+++ b/boards/arm/tiva/tm4c129e-launchpad/configs/ostest/defconfig
@@ -58,6 +58,7 @@ CONFIG_NSH_FILEIOSIZE=512
 CONFIG_NSH_LINELEN=64
 CONFIG_NSH_READLINE=y
 CONFIG_PREALLOC_TIMERS=4
+CONFIG_PRIORITY_INHERITANCE=y
 CONFIG_RAM_SIZE=262144
 CONFIG_RAM_START=0x20000000
 CONFIG_RAW_BINARY=y