Kernel Panic Con IDE 1.5.1 Arduino UNO

in teoria il IDE1.5.1 funziona anche con Arduino UNO.
Non puoi usare IDE1.0.x per l'Arduino UNO?
Ciao Uwe