Trying to boot xen on Raspberry-pi 3 B+

[Ayan Kumar Halder]

Hi,

I am trying to boot xen on Raspberry-pi 3 B+ as my hobby project to 
learn about Xen.

I used the latest version of xen 
(f1e268b9fd13647e1f69c8ce0ae7be401d319fc8).  I tried using 
tiny64_defconfig and built xen-4.17-unstable. Also I enabled printk and 
set 0x7e215040 as the early printk physical base address (0x7e215040).

Then, I just tried to load xen and dtb (the same which has worked fine 
for linux). However, there is no prints after "Starting kernel ...".

1. Do you know if there is something I am missing ? I am expecting to 
see the Xen earlyprintk logs.

2. Is raspberry 3 B+ expected to work with Xen ? I was reading 
https://www.linux.com/featured/xen-on-raspberry-pi-4-adventures/ and is 
my understanding correct that only Pi 4 is supported ?

Kind regards,

Ayan