Problems about qemu_v8.xml

[D1aoBoomm]

I try the original <remote name="xenbits" fetch="https://xenbits.xen.org/" /> and failed with repo sync, but success by replacing it with <remote name="xenbits" fetch="https://xenbits.xenproject.org/" />. Maybe the url should be updated.

[jbech-linaro]

Hi,

I just gave it a try and couldn't reproduce the error, so I suspect you were facing another issue of some sort.

$ rm -rf qemu_v8
$ mkdir qemu_v8
$ cd qemu_v8

$ repo init -u https://github.com/OP-TEE/manifest.git -m qemu_v8.xml  --partial-clone --reference /mnt/storage/mirrors/reference
Downloading Repo source from https://gerrit.googlesource.com/git-repo
remote: Sending approximately 11.09 MiB ...
remote: Counting objects: 248, done
remote: Total 8810 (delta 4241), reused 8810 (delta 4241)

Your identity is: Joakim Bech <...@linaro.org>
If you want to change this, please re-run 'repo init' with --config-name

repo has been initialized in /home/jyx/devel/optee_projects/qemu_v8

$ repo sync -j10
Fetching: 100% (15/15), done in 11.594s
Updating files: 100% (81766/81766), done.
Updating files: 100% (1273/1273), done.
Updating files: 100% (19873/19873), done.
Checking out: 100% (15/15), done in 13.041s
repo sync has finished successfully.

$ grep -i xen .repo/manifests/qemu_v8.xml
        <remote name="xenbits"  fetch="https://xenbits.xen.org/" />
        <project path="xen"                 name="git-http/xen.git"                         revision="refs/tags/RELEASE-4.18.0" clone-depth="1" remote="xenbits" />

[jforissier]

Likely some DNS issue. xenbits.xen.org and xenbits.xenproject.org resolve to the same IP:

$ dig xenbits.xen.org

; <<>> DiG 9.18.18-0ubuntu2.1-Ubuntu <<>> xenbits.xen.org
;; global options: +cmd
;; Got answer:
;; ->>HEADER<<- opcode: QUERY, status: NOERROR, id: 23693
;; flags: qr rd ra; QUERY: 1, ANSWER: 1, AUTHORITY: 0, ADDITIONAL: 1

;; OPT PSEUDOSECTION:
; EDNS: version: 0, flags:; udp: 65494
;; QUESTION SECTION:
;xenbits.xen.org.               IN      A

;; ANSWER SECTION:
xenbits.xen.org.        249     IN      A       104.239.192.120

;; Query time: 0 msec
;; SERVER: 127.0.0.53#53(127.0.0.53) (UDP)
;; WHEN: Tue Apr 09 11:15:57 CEST 2024
;; MSG SIZE  rcvd: 60

jerome@builder:~/work/optee_repo_qemu_v8$ dig xenbits.xenproject.org

; <<>> DiG 9.18.18-0ubuntu2.1-Ubuntu <<>> xenbits.xenproject.org
;; global options: +cmd
;; Got answer:
;; ->>HEADER<<- opcode: QUERY, status: NOERROR, id: 28223
;; flags: qr rd ra; QUERY: 1, ANSWER: 1, AUTHORITY: 0, ADDITIONAL: 1

;; OPT PSEUDOSECTION:
; EDNS: version: 0, flags:; udp: 65494
;; QUESTION SECTION:
;xenbits.xenproject.org.                IN      A

;; ANSWER SECTION:
xenbits.xenproject.org. 267     IN      A       104.239.192.120

;; Query time: 0 msec
;; SERVER: 127.0.0.53#53(127.0.0.53) (UDP)
;; WHEN: Tue Apr 09 11:16:00 CEST 2024
;; MSG SIZE  rcvd: 67

[D1aoBoomm]

Thank you both very much for your answers! I tried with another device and it works, I will check my DNS. I'm closing the issue.