As stated, I wish to install an arch linux on this board, and I’ve kinda hit a wall in finding any information on the process.
I’ve tried using the guide found at: Jetson/Porting Arch - eLinux.org for the TK1 board, however this doesn’t work for me.
Any help would be appreciated.