diff --git a/boards/arm/mps/mps2-an500/configs/knsh/defconfig b/boards/arm/mps/mps2-an500/configs/knsh/defconfig
index a0d0f689a0fef..31208316773ec 100644
--- a/boards/arm/mps/mps2-an500/configs/knsh/defconfig
+++ b/boards/arm/mps/mps2-an500/configs/knsh/defconfig
@@ -61,7 +61,6 @@ CONFIG_READLINE_CMD_HISTORY=y
 CONFIG_RR_INTERVAL=200
 CONFIG_SCHED_HPWORK=y
 CONFIG_SCHED_HPWORKPRIORITY=192
-CONFIG_SPINLOCK=y
 CONFIG_STACK_COLORATION=y
 CONFIG_STANDARD_SERIAL=y
 CONFIG_START_DAY=25