Documentation< Previous | Contents | Next >
UEFI is available for this machine but it is normally shipped with U-Boot so you will need to either install UEFI firmware first then use standard boot/install methods, or use U-Boot boot methods. Also USB is not supported in the jessie kernel so installing from a USB stick does not work. You must use a serial console to control the installation because the graphical installer is not enabled on the arm64 architecture.
The recommended install method is to copy the debian-installer kernel and initrd onto the hard drive, using the openembedded system supplied with the machine, then boot from that to run the installer. Alternatively use TFTP to get the kernel/dtb/initrd copied over and booted (Section 5.1.4.1). After installation, manual changes to boot from the installed image are needed.
Run a serial console at 115200, 8bit no parity, and boot the machine. Reboot the machine and when you see “Hit any key to stop autoboot:” hit a key to get a Mustang# prompt. Then use U-Boot com- mands to load and boot the kernel, dtb and initrd.