Embedded ARM development in Debian