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.