OMAP4 and Debugging Symbols questions

[Mohammed Farrag]

Hello FreeBSDers,

   I am working on bringing freebsd to new hardware. One of the problems I
faced is OMAP4 emulation (pandaboard). Unfortuantely, it's only supported on
CCSv4 and virtio so for large debug info, I used Code Composer Studio but I
was asked for loading symbols for debugging which is vmlinux in Linux.
Unfortunately, I don't have strong knowledge in Linux. So, What is the
similar file to this one in FreeBSD?

Also, Will be there differences in making process for building for
pandaboard target or I should add paramters for OMAP4 make?

Regards,

Mohammed