General
Creating a new platform in PTXdist
We highly recommend to create a new platform for your board in PTXdist
Work in progress