How to flash Linux(not Android) to DragonBoard™ 845c

The “Linux User Guide” says how to flash Linux, but the images are downloaded from website. After compile the kernel by : tools/bazel run //common:db845c_dist . How to download it to flash?

I notice the image files from website are quite different from built image.

Anybody can give some tips?
Thanks!

Can you give links?

I think the document you are describing is how to install LE OS from Thundercomm but I wonder if the images you download from the website are the Linaro/Debian OS (for which the install instructions are here: Linux Host Installation for DragonBoard-845c - 96Boards )