你好
我使用的芯片是NI达芬奇系列的DSP，型号：DM8127，是自己做的的板子，购买的开发板是广州创龙公司的DM8148开发板（软件开发包是广州创龙从TI8148开发板的开发包上改的）。将启动SD卡插到我的板子后，上电，串口终端在booting the kernel后卡住不动了，如下图所示：
但是把这张SD卡插回开发板后，是可以正常启动的。现在已经排除是DDR3以及不匹配的MechineID的原因了，我做了进一步测试，在内核函数schedule()函数中通过printascii()打印调试信息，将task_struct结构的pid和flag信息打印出来，增加的测试代码如下所示：
板卡上电后，在串口终端打印如下信息：
通过上图红色框中的信息可以看出，好像PID为12的任务切换后，系统即卡死了，不再打印任何信息，不知道PID=12的任务是一个什么任务。您能帮我分析一下吗？
