On Sun, Dec 30, 2012 at 1:43 PM, Juergen Beisert <jbe@pengutronix.de> wrote:

Veeeery late, but still not too late :)

Since some days ptxdist-2012.12.0 is available at
http://www.pengutronix.de/software/ptxdist/download/

And now also a slightly updated documentation is available here:

http://www.pengutronix.de/software/ptxdist/appnotes_en.html

            How to become a PTXdist Guru
            ----------------------------