I received a new HiKey 960 board and am interested in booting Debian from an SD card. I initially downloaded the SD card image that the 96 Boards’ download page links to (http://snapshots.linaro.org/96boards/hikey/linaro/debian/latest/). I flashed this image to my SD card using Linux’s “dd” command. My host Linux machine identifies both a Boot partition and a RootFS partition on my SD card. When I insert the SD card into my HiKey 960 and power on, the board boots straight into Android Oreo. How do I boot from the SD card? I have a few further questions regarding this:
1. Do I need to flash a new UEFI to the HiKey 960 before I can boot from an SD Card? 2. I am also interested in using HDMI and USB hardware with Debian. I understand that Kernel 4.15 does not support this hardware. What is the best way to accomplish this and use a separate kernel for Debian from my SD card?