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:

AFAIK these plugins are part of the processor SDK, so I have followed the getting started guide here:’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.