Reproducable Embedded Linux Systems

PTXdist is a GPL licensed build system for userlands, started by Pengutronix. It uses the Kconfig configuration system from the Linux kernel. PTXdist is no distribution: our experience is that binary distributions are too inflexible for embedded systems. That's why PTXdist builds the target system directly from the original sources. PTXdist is considered to be "executable documentation", which means that the steps necessary to build a target system are put into scripts which can be easily reviewed, but also executed with one click by a less experienced user.