Re: Free Rtos porting on XEN

[Stefano Stabellini <sstabellini@xxxxxxxxxx>]

Hi Dega,

AMD/Xilinx has a FreeRTOS port that works on Xen (at least on Xilinx
boards). The code is public and open source although typically to build
it you'd need the Vitis SDK.

The code itself is available here:
https://github.com/Xilinx/embeddedsw
https://github.com/Xilinx/embeddedsw/tree/master/ThirdParty/bsp/freertos10_xilinx

Also see:
https://xilinx-wiki.atlassian.net/wiki/spaces/A/pages/18842141/FreeRTOS

I hope this helps.

Cheers,

Stefano

On Tue, 4 Oct 2022, 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 to follow the porting process.
> 
> 
> Thank you,
> Dega.
> 
> 
>