Did someone build a graphical environment for the mini2440 dev board using
ptxdist??

Thanks a lot!