# CONFIG_TI_K3_DSP_REMOTEPROC is not set
