Hi Ayan, > -----Original Message----- > From: Xen-devel <[email protected]> On Behalf Of Ayan > Kumar Halder > Sent: 2021年12月28日 21:19 > To: [email protected]; Bertrand Marquis > <[email protected]>; [email protected]; > [email protected] > Cc: [email protected] > Subject: Trying to boot xen on Raspberry-pi 3 B+ > > 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 ? >
It seems raspberries 3 B+ doesn't have GIC interrupt controller. If yes, I think you can't make Xen work properly on raspberries 3 B+. Because Xen only supports GIC for Arm architectures. > Kind regards, > > Ayan >
