TIC6638 linux加载DSP.out地址分配问题

TI工程师你好：

               由于我们用CCS编译出来的.out的地址分配为0x80000000-0xbfffffff，而LINUX加载时的地址为0xa0000000-0xbfffffff,在不动.out的地址分配情况下我看了LINUX内核中.dtis设置将之前的0xa0000000-0xbfffffff修改成0x80000000   len0x40000000,发现下载不进去。请问0x80000000-0x9ffffffff的DDR做linux操作系统使用了吗，能否将部分划分出来。