Boxapixels

Hello. New here and having trouble getting my Mac Mini (10.12) to recognise the 3200 LauchpadXL. Other non-TI boards and FTDI adaptors show up fine in Arduino/Energia. Anybody got experience of why the port would not show? No obvious devices are showing in /dev Many thanks.