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.
