YOUR LINK HERE:
http://youtube.com/watch?v=Evzz0wO-t78
Debian booting on a TI-Nspire CX CAS • Tutorial here: https://ivoah.net/blog/2016/03/20/how...