Joshua Solanes, a great UDOOers (just visit his website and take a look), was able to get the Arduino IDE (hard float) working within Gentoo using our official Arduino IDE HFP instructions.