# CONFIG_TI_K3_M4_REMOTEPROC is not set
