随便说两句,不一定对。
你可以在你的startup.s文件中点亮LED灯,或者把某个GPIO管脚拉高,等执行完OEMLaunch以后,你可以看一下你的LED或者检查一下GPIO管脚的状态,就知道你的程序是否跳转到kernel的startup里面了。这段代码可以用汇编来写,也可以用C语言写,然后再startup.s里面调用。
如果状态没有变化,那就说明根本没有跳转到kernel的startup里面,可能是你加载的WinCE地址有问题。你可以在OEMLaunch里面把地址打印出来,和你的config.bib文件比较一下。