dsp文件格式问题？

如下，文件系统里面的文件：

root@any888:/nfsroot/lib/firmware# tree -L 3
.
├── ipc
│   └── ti_platforms_evmOMAPL138_DSP
│   ├── messageq_fault.xe674
│   ├── messageq_multimulti.xe674
│   ├── messageq_multi.xe674
│   ├── messageq_single.xe674
│   ├── NameServerApp.xe674
│   ├── nano_test.xe674
│   ├── ping_rpmsg.xe674
│   └── ping_tasks.xe674
└── rproc-dsp-fw -> ipc/ti_platforms_evmOMAPL138_DSP/ping_rpmsg.xe674

2 directories, 9 file

这些*.xe674文件是：

ELF 32-bit LSB executable, TI TMS320C6000 DSP family, version 1 (SYSV), statically linked, with debug_info, not stripped

这些文件同样能在IPC工程里找到，那么这些文件是 sys/bios + ipc 的集合吗，因为只需要这些程序就能启动dsp，如下：

[ 2094.205694] davinci-rproc 11800000.dsp: assigned reserved memory node dsp-memory@c2000000
[ 2094.234899] remoteproc remoteproc0: dsp is available
root@omapl138-lcdk:/lib/firmware/ipc# [ 2094.373042] remoteproc remoteproc0: powering up dsp
[ 2094.378065] remoteproc remoteproc0: Booting fw image rproc-dsp-fw, size 3886504
[ 2094.502306] virtio_rpmsg_bus virtio0: rpmsg host is online
[ 2094.539575] remoteproc remoteproc0: registered virtio0 (type 7)
[ 2094.560147] remoteproc remoteproc0: remote processor dsp is now up

如果不是的话，那么我也没特意去跑sys/bios系统，dsp怎么就跑起来了？

还是同一个问题：
sys/bios编译完是个xxx.out文件，感觉特别疑惑，如果sysbios和应用程序编译完是一个文件，那么是.out文件，还是.xe674文件？
如果sysbios和基于sysbios的应用程序是2个独立的文件，那么怎么先跑sys/bios，再跑应用程序？