What is your whole procedure? You can following the document in the URL: http://skyeye.wiki.sourceforge.net/Linux
We modify start address of the kernel to 0xc0008000, just for debug purpose. Un-modified kernel can also run on SkyEye
BTW: if you want to debug kernel in c source level, you need to compile kernel by your self.