source "mkrtos_user/lib/libc_backend/Kconfig"
source "mkrtos_user/lib/sys_util/Kconfig"