Hi Ralf, Thanks for the instructions and your patience, you can find my patch down here: https://github.com/mustafa13e09940/jailhouse_rpi4.git
All changes are in /inmates/lib/include/BSP_BCM2711.h and BCM_OS.h, I also edited gic-demo.c but everything is commented. Moustafa Noufale -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/185ddd7b-09f2-422f-ab16-309ab34c0ee1n%40googlegroups.com.
