@@ -15,7 +15,7 @@ rsource "drivers/ipc/Kconfig"
rsource "posix/Kconfig"
rsource "mm/Kconfig"
rsource "tmpfs/Kconfig"
-rsource "smp/Kconfig"
+rsource "smp_ipi/Kconfig"
endif
endmenu