Hi, Should we use $(ARCH)-debian-linux-gnu as parameter for ./configure and $(ARCH)-debian-linux? If so can it specified in the guidelines. If not what should we use? Erick