Debian build script for ODROID