Xen bootup: issue with Raspberry Pi 5?

[Sumit Semwal <sumit.semwal@xxxxxxxxxx>]

Hello,

Good <time of the day>!

I've just begun to experiment with the Raspberry Pi 5, trying to run a
simple xen + Dom0 setup, using uBoot, and the bookworm based Rpi
distro.

I've tried combinations of the following setup:

1. prebuilt Rpi5 kernel + dtbs, and have also tried to build them from
source [1]
2. Xen from upstream [2] and xen-troops [3]
3. upstream uBoot from [4]

but with the same result: [short log below; I can provide a fuller log
if needed]

(XEN) DT: ** translation for device /axi/msi-controller@1000130000 **
(XEN) DT: bus is default (na=2, ns=2) on /axi
(XEN) DT: translating address:<3> 000000ff<3> fffff000<3>
(XEN) DT: parent bus is default (na=2, ns=1) on /
(XEN) DT: walking ranges...
(XEN) DT: default map, cp=0, s=1000000000, da=fffffff000
(XEN) DT: default map, cp=1000000000, s=100000000, da=fffffff000
(XEN) DT: default map, cp=1400000000, s=400000000, da=fffffff000
(XEN) DT: default map, cp=1800000000, s=400000000, da=fffffff000
(XEN) DT: default map, cp=1c00000000, s=400000000, da=fffffff000
(XEN) DT: not found !
(XEN) Unable to retrieve address 1 for /axi/msi-controller@1000130000
(XEN) Device tree generation failed (-22).
(XEN) debugtrace_dump() global buffer starting
1 cpupool_create(pool=0,sched=6)
2 Created cpupool 0 with scheduler SMP Credit Scheduler rev2 (credit2)
3 cpupool_add_domain(dom=0,pool=0) n_dom 1 rc 0
(XEN) wrap: 0
(XEN) debugtrace_dump() global buffer finished
(XEN)
(XEN) ****************************************
(XEN) Panic on CPU 0:
(XEN) Could not set up DOM0 guest OS (rc = -22)
(XEN) ****************************************


I'm certain I'm missing something, but before I delve deeper, I just
wanted to ask if this is a known issue, and if so, are there any
workarounds or solutions available for this?

Any help about this is highly appreciated!

Thanks and Best regards,
Sumit.

[1]:  https://github.com/raspberrypi/linux rpi-6.12.y branch
[2]: git://xenbits.xen.org/xen.git - main branch
[3] xen-troops https://github.com/xen-troops/xen - rpi5_dev branch
[4]: https://github.com/u-boot/u-boot.git master branch