Hi all,
The initial version of the CAmkES to seL4CP Transition Guide has been released.
The guide aims to provide information and advice for those who are migrating applications built using CAmkES to the seL4 Core Platform. The main focus of this guide is on device driver development and virtual machine (monitor) development.
The PDF version of this guide can be found on the Trustworthy Systems web page: https://stage.trustworthy.systems/projects/TS/sel4cp/2304-11-camkes-to-sel4c... https://stage.trustworthy.systems/projects/TS/sel4cp/2304-11-camkes-to-sel4cp.pdf The source of this guide can be found in the Trustworthy Systems GitHub repository: https://github.com/au-ts/camkes_to_sel4cp_guide https://github.com/au-ts/camkes_to_sel4cp_guide
Please don’t hesitate to provide feedback!
Regards, Jade.
On 11 Apr 2023, at 16:22, Jingyao Zhou zauzingjiu@gmail.com wrote:
Hi all,
The initial version of the CAmkES to seL4CP Transition Guide has been released.
The guide aims to provide information and advice for those who are migrating applications built using CAmkES to the seL4 Core Platform. The main focus of this guide is on device driver development and virtual machine (monitor) development.
The PDF version of this guide can be found on the Trustworthy Systems web page: https://stage.trustworthy.systems/projects/TS/sel4cp/2304-11-camkes-to-sel4c... https://stage.trustworthy.systems/projects/TS/sel4cp/2304-11-camkes-to-sel4cp.pdf The source of this guide can be found in the Trustworthy Systems GitHub repository: https://github.com/au-ts/camkes_to_sel4cp_guide https://github.com/au-ts/camkes_to_sel4cp_guide
Please don’t hesitate to provide feedback!
Regards, Jade.
Sorry for the incorrect link, please use the correct one for the Trustworthy Systems web page: https://trustworthy.systems/projects/TS/sel4cp/2304-11-camkes-to-sel4cp.pdf https://trustworthy.systems/projects/TS/sel4cp/2304-11-camkes-to-sel4cp.pdf
Hi Jade, this is exciting, thanks for sharing the guide!
How would you prefer providing feedback? An email chain on this list, or should we open issues in Trustworthy Systems GitHub repository?
Regards Michal
Hi Michal,
I think emails are good for short and generic feedback and GitHub issues are good for keeping track of more specific comments. They both work for me.
Regards, Jade
On 12 Apr 2023, at 05:17, mpodhradsky@galois.com wrote:
Hi Jade, this is exciting, thanks for sharing the guide!
How would you prefer providing feedback? An email chain on this list, or should we open issues in Trustworthy Systems GitHub repository?
Regards Michal _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
Hi Jade, excellent! I opened two issues in https://github.com/au-ts/camkes_to_sel4cp_guide/issues
If you had time to look especially at the one about the handling of periodic components, that would be greatly appreciated since it is currently a blocker for us.
Regards Michal
-
Jingyao Zhou -
mpodhradsky＠galois.com