processor SDK on x15

Hi every one,

Please excuse the newbie questions, I am quiet new to embedded linux.

I recently got a X15 board and would like to experiment with gstreamer plugins listed here by TI:

http://processors.wiki.ti.com/index.php/Processor_Training:_Multimedia#Rebuild_IPUMM_Firmware

AFAIK these plugins are part of the processor SDK, so I have followed the getting started guide here:
http://processors.wiki.ti.com/index.php/Processor_SDK_Linux_Software_Developer’s_Guide

and created SD card images following steps on that page. but the board will only boot the debian image from emmc.

Question is am i on the right track following the processor SDK for the X15 board? will the processor SDK produce compatible images for the x15 boards?

Thank you.