How to boot Hikey 970 with preinstalled Debian Linux?

Board based on the Kirin 970 - HI3670 Application Processor
More info: http://www.96boards.org/product/hikey970/ (Website coming soon…)
Buy now: https://www.seeedstudio.com/HiKey-970-Development-Board-p-3046.html

Hi,
I am new to the Hikey platform. I have recently purchased a Hikey 970 board for a project and would like to use it as a Linux computer. The product description mentions that the board comes with preinstalled version of Debian Linux and AOSP. However, every time it boots with AOSP and I don’t seem to find instruction to switch the boot to Linux. Any help or directions on this are very much appreciated. Thanks!

You need to install the OS you want:
Third party images: Downloads for HiKey970 - 96Boards
How to install: Linux Host Installation for HiKey970 - 96Boards

OS Download page not working