Hardware vendors hardly are the best sources for OS images, except maybe for very new boards. When I shop for a board I always look if it is supported by community driven projects such as Armbian, DietPI or even plain Debian.

Take a look here if your board is supported.

https://www.armbian.com/download/

https://dietpi.com/#download