I am trying to load and boot a linux kernel through JTAG on the AM3517 evaluation board. My debugger is BDI3000. I am not using openocd, since according to the documentation of the debugger it is not required. So far I think I am able to load the vmlinux image onto the memory, but once it is done "cont" gdb command does not boot linux. I do not get any messages on the serial console.
I am following the instructions given in this link http://elinux.org/Debugging_The_Linux_Kernel_Using_Gdb
trying to get the address of the log_buffer as mentioned in the link gives me following output
(gdb) p (char*) &__log_buf[log_start]
$1 = 0xc04cd460 <Address 0xc04cd460 out of bounds>
I have searched a lot on the internet but could not find a proper answer. Not sure what I am doing wrong.