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