General

Creating a new platform in PTXdist

We highly recommend to create a new platform for your board in PTXdist

Work in progress