This is a very compressed version of How to become a PTXdist Guru.
PTXdist is a build system to reproducably build Linux distributions from source. DistroKit is a Board Support Package for embedded systems, using PTXdist.
- get a fast machine with at least ~15 GB of free space
- install PTXDist, version 2016.07.0
- install the OSELAS.Toolchain, version 2014.12.x for
arm-v7a-linux-gnueabihf
git clone https://github.com/rohieb/DistroKit-rpi-ibrdtn
cd DistroKit-rpi-ibrdtn
- optionally,
ptxdist menuconfig
to select software to build