Mentioned this in a different thread but gave no info on tools.
You have to use the IAR compiler right now, but an AVR32 gcc with floating point support should be available early December 2010
The production revision rev D has Ethernet, but that is not present on the current development kit which has rev C silicon. A kit with Ethernet, should be available early next year.