Arm's DSP Course - which microprocessor would fit


I recently started the Arm Education DSP course, but found out the microcontroller they suggest to use in the course is not in reach for me.

They suggest using the Cypress FM4 starter kit,

but all i can conceive are:

(those are in range by the local seller)

all of these have a M4 processor, but I don't know none about their DSP capabilities, such as Cypress FM4's that was officially suggested by the course.

which one would you recommend me to buy? 

More questions in this forum