I just got myself an Arduino Pro Trinket from Adafruit. I know that I can't use a serial connection to debug but I did a little research and found that I can use a serial port to Bootload onto my Arduino. I plugged it into my computer and got the LED for power to be solid green and the pin 13 LED was pulsing red which should mean it is ready to boatload. However the board never shows up in my port selection and I've tried uploading to every other port just to make sure with no success. Is there any way to fix this and get the port to work?