Guest Display issue on Xen

2022-11-30 Thread dega kiran
Hi, I am porting Xen Hypervisor on raspberry pi4. I could port xen minimal image as host & wayland based GUI image as guest. Now I am trying to bring up guest Display (using vncviewer) which is not coming up, even I could see xen-fbfront driver on guest and Debugged xen-fbfront.c Xenbusprobe_bac

Re: Free Rtos porting on XEN

2022-10-06 Thread dega kiran
, 2022 at 9:48 AM dega kiran wrote: > Hi , > > I am trying to port FREERtos on XEN . But not getting any > concrete information for porting. > > I am following https://github.com/GaloisInc/FreeRTOS-Xen > > but getting a lot of errors. > > Please Let me know how

Free Rtos porting on XEN

2022-10-03 Thread dega kiran
Hi , I am trying to port FREERtos on XEN . But not getting any concrete information for porting. I am following https://github.com/GaloisInc/FreeRTOS-Xen but getting a lot of errors. Please Let me know how to follow the porting process. Thank you, Dega.