As some of you may have noticed, we’re releasing Hard Float flavours: Debian Wheezy, Ubuntu Studio, Ubuntu 12.04 (coming soon). In all of them the Arduino IDE doesn’t work so we released the HFP version that works with all of these distros.