Debian package to configure Arduino Linux boards and carriers - View it on GitHub