PTXdist eteht als Synonym für Reproducable Embedded Linux Systems. PTXdist ist ein GPL lizensiertes Build System und wird von Pengutronix gepflegt. Man kann damit komplette Linux Laufzeitumgebungen konfigurieren und erzeugen. Es entsteht dabei eine sprichwörtliche „ausführbare Dokumentation“ eines Gesamtsystems. Als Konfigurationssystem dient Kconfig aus dem Linux-Kernel.

Die offizielle Projektseite lautet http://www.ptxdist.org/