[Xen-devel] [PATCH 0/2] Raspberry Pi 4 support

[Stewart Hildebrand <Stewart.Hildebrand@xxxxxxxxxxxxxxx>]

This is a series to enable printk and UART console for Raspberry Pi 4.

 

I have been able to get Xen+dom0+domUs booting. Tested with Xen 4.12 and Linux 4.19.y (Raspberry Pi linux tree + a couple of patches). Please see [1] for build instructions and limitations.

 

Andre – it appears that we each independently came up with a printk configuration [2]. With this series, you’d no longer need to remember the base address, just do CONFIG_EARLY_PRINTK=rpi4.

 

Thanks,

Stewart Hildebrand

DornerWorks, Ltd

 

[1] https://github.com/dornerworks/xen-rpi4-builder

[2] https://lists.xenproject.org/archives/html/xen-users/2019-07/msg00027.html

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel