On 26 Mar 2019, at 6:43 AM, &quot;devel-request(a)sel4.systems&quot; &lt;devel-request(a)sel4.systems&gt; wrote: Send Devel mailing list submissions to devel(a)sel4.systems To subscribe or unsubscribe via the World Wide Web, visit https://sel4.systems/lists/listinfo/devel or, via email, send a message with subject or body 'help' to devel-request(a)sel4.systems You can reach the person managing the list at devel-owner(a)sel4.systems When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..." Today's Topics: 1. Re: some questions about camkes-manifest (Anna.Lyons(a)data61.csiro.au) 2. Interested in Contributing to SeL4 (Aditya Upadhyay) ---------------------------------------------------------------------- Message: 1 Date: Mon, 25 Mar 2019 02:23:22 +0000 From: &lt;Anna.Lyons(a)data61.csiro.au&gt; To: &lt;yadong.li(a)horizon.ai&gt;ai>, &lt;devel(a)sel4.systems&gt; Subject: Re: [seL4] some questions about camkes-manifest Message-ID: &lt;1553480602203.73891(a)data61.csiro.au&gt; Content-Type: text/plain; charset="iso-8859-1" Hi, 1. You can find the library in https://github.com/SEL4PROJ/projects_libs? 2. Sorry, we do not have any public demos that use this library. It has mainly been used in experimental contexts. Cheers Anna. -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://sel4.systems/pipermail/devel/attachments/20190325/580f5330/attachment-0001.html> ------------------------------ Message: 2 Date: Mon, 25 Mar 2019 22:01:09 +0530 From: Aditya Upadhyay &lt;aditya.sidd.upadhyay(a)gmail.com&gt; To: devel(a)sel4.systems Subject: [seL4] Interested in Contributing to SeL4 Message-ID: &lt;CAP7bF08qCr2dxd=WwbRwKuJP8ZqNc1RswNJbsfnyZ5Dxg1rjCg(a)mail.gmail.com&gt; Content-Type: text/plain; charset="utf-8" Hi Developers, This is Aditya Upadhyay, would like to contribute in SeL4 microkernel. I am trying to figure out any open projects on wiki page of SeL4 Systems. One project that is related to POSIX Compliance. I can see here: https://docs.sel4.systems/SuggestedProjects.html but I am still figuring out the stuff to contribute. Any Valuable suggestions would be appreciated. Would you like to point any blogs related to SeL4? I have some experience of contributing the code in Open Source Organisation Newlib-Cygwin. I was working on POSIX Compliance for RTEMS as a part of Google Summer of Code 2017 Students internship. To stick to Open Source, I am mentoring RTEMS Google Summer of Code Project this year also. I have always learned from mentoring and contributing to open source. I have deep understanding of Linux Operating System Internals and Monolithic Kernels as well. I am also looking for Research Internship in Distributed Systems especially in Microkernel and Microhypervisor field. I am open for any research oriented projects in this field. Regards, Aditya Upadhyay -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://sel4.systems/pipermail/devel/attachments/20190325/3cbbe26b/attachment-0001.html> ------------------------------ Subject: Digest Footer _______________________________________________ Devel mailing list Devel(a)sel4.systems https://sel4.systems/lists/listinfo/devel ------------------------------ End of Devel Digest, Vol 58, Issue 5 ************************************