Re: Free Rtos porting on XEN

[dega kiran <degakiran05@xxxxxxxxx>]

Hi Stefano Stabellini ,

Thanks for the reply.

We are currently working on Raspberry PI 4 can you help us how we can port Xen with FreeRtos on Raspberry PI4.

Is there any reference I can go through for porting Xen with FreeRtos on Raspberry PI4.?

Thanks and regards,

Dega. 

On Tue, Oct 4, 2022 at 9:48 AM dega kiran <degakiran05@xxxxxxxxx> 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 to follow the porting process.

Thank you,

Dega.