...

Upgrade the BIOS, as described in their internal documents (not public), using IPMI and the new hpm images.

A few comments on TX2 BIOS:

• To be able to choose between booting on the internal PXE interface or the LAN one (with MrP on the latter), one needs to set one to be the 'default' boot order (meaning it will PXE after a reboot)
• Flashing the BIOS with ipmitool sometimes does NOT seem to work (despite ipmitool saying its fine). In those cases you'll end up with boot entries missing, network interfaces not showing up, and other errors of the sort. All you need in those cases is to just reflash the BIOS, and it should do the trick. NOTE: During the reflash, you'll notice a mismatch between the (re)uploaded version and the one on the machine (whereas if the first flash had gone according to plan they'd be the same).
• If it so happens that the ipmitool is spitting out errors of "version mismatch" and asking if you want to proceed, you need to update the BMC FW via the webinterface and using the .ima file (web paged is called "dual_firmware_upgrade"). Package 7.4 contains an .ima file that will reenable you to use the standard procedure via ipmitool.

Operating System

CentOS

AArch64 support in CentOS is done via AltArch. The repository and kernel images are available from their mirror, but that's always the latest release only.

...