1menu "Core Modules Configuration" 2 3source "core/ipc/Kconfig" 4source "core/kernel/Kconfig" 5 6endmenu 7