Hello,
do you have any news on this topic?
I am currently having the same problem. I would like to program my DUE with my Raspberry PI.
In Raspbian, there still only is Version 1.0.1 of the Arduino IDE which has no support for the DUE.
Regards,
kFieLd