So I recently purchased a Leonardo, and today I was going to try it out. However, after installing the Arduino IDE (1.0.6) I noticed that the Serial Port selection under Tools was greyed out and I could not select any port. I thought that once I tried uploading something to it the option may become enabled again, so I tried that. I got the following error: "Couldn't find a Leonardo on the selected port. Check that you have the correct port selected. If it is correct, try pressing the board's reset button after initiating the upload." Naturally, I tried reuploading, this time pressing the reset button, but it displayed the same error message again. Then I decided to try it in Windows (I was using Debian Testing before), although while the option to select the serial port became open, it too could not find the device. When looking at what drivers need to be installed, I saw that under the (GNU/)Linux section only Ubuntu 10.04-specific instructions were listed (and they were just saying that nothing needs to be done), so I'm unsure as to whether I need to install anything on Debian. Any help would be much appreciated.
EDIT: I forgot to state that when the device is plugged in /dev/ttyACM0 is created, so the device seems to be fully functional and USB is definitely working. The problem seems to be with either the IDE or the drivers.