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

Work in progress