Where is 'vmlinux' file

Hello,

I'd like to debug OMAP-L138 LCDK board with embedded linux.

I installed CCSv6.1.2, arago-2011.09-armv5te-linux-gnueabi-sdk, mcsdk_1_01_00_02, and sys/bios 6.35.04.

To debug project in CCSv6, I have followed your guide 'processors.wiki.ti.com/.../Linux_Debug_in_CCSv5' and'www.youtube.com/watch (about 23:00~25:00).

However, I can't find vmlinux file anywhere. 

Is it not provided or am I just missing?

Should I make the vmlinux file, please let me know how the make it.

Thank you.