DEPRECATED: moved to github.com/POETSII/DE10Pro-hps-ubuntu-sdcard - View it on GitHub