DOCKERIMAGE_REGISTRY#

DOCKERIMAGE_REGISTRY = "ghcr.io/avnet-embedded"

will download docker images from ghcr.io/avnet-embedded registry instead of hub.docker.com.

To keep the default behavior, you do not need to add anything.