Hi All

I installed the ptxdist version 2012.12.0 and I installed another (for
mini6410 to play around with) which was ptxdist 2011.03.0. is there a way
to switch between the two versions? In the documentation it states that you
have to build certain bsp's with certain ptxdist versions.

i'm still very much a noob, but getting there.

thank you

Ruben