I have ordered a Leonardo which I expect to have next week. I have Arduino IDE version 1.0-5.1 installed under openSUSE 12.1.
The file arduino-1.0/hardware/arduino/boards.txt has the Leonardo section commented out. The Leonardo does not appear as an option in the Tools > Board menu.
When I have my board, I could un-comment the section, or choose Uno or not use the board until the situation becomes clear.
Any suggestions?