[Top] [All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Free Rtos porting on XEN

To: xen-devel@xxxxxxxxxxxxxxxxxxxx
From: dega kiran <degakiran05@xxxxxxxxx>
Date: Tue, 4 Oct 2022 09:48:20 +0530
Cc: Stefano Stabellini <sstabellini@xxxxxxxxxx>, ulien Grall <julien@xxxxxxx>
Delivery-date: Tue, 04 Oct 2022 04:25:59 +0000
List-id: Xen developer discussion <xen-devel.lists.xenproject.org>

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.

Follow-Ups:
- Re: Free Rtos porting on XEN
  - From: dega kiran
- Re: Free Rtos porting on XEN
  - From: Stefano Stabellini

Prev by Date: [qemu-mainline test] 173408: tolerable FAIL - PUSHED
Next by Date: Re: How to do display sharing between guests or bring up guests display
Previous by thread: [qemu-mainline test] 173408: tolerable FAIL - PUSHED
Next by thread: Re: Free Rtos porting on XEN
Index(es):
- Date
- Thread

Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.