Hi @anders-jackson, we have support for Debian/Ubuntu in our own SDK. However, Arduino IDE's board manager only copies files to a directory - which is not enough on Linux. It also needs to set UDEV rules for the USB to work.
Therefore we do not have an Arduino package for Ubuntu/Debian. Can you use our standard toolchain instead?: http://developer.openmono.com/en/latest/getting-started/install.html