> On 11 Apr 2023, at 16:22, Jingyao Zhou <zauzing...@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-sel4cp.pdf > > <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> _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
