Okay! Aditya,
Let’s research together :)
BR, MK
Sent from my iPhone
On 26 Mar 2019, at 6:43 AM, "devel-request@sel4.systems" devel-request@sel4.systems wrote:
Send Devel mailing list submissions to devel@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@sel4.systems
You can reach the person managing the list at devel-owner@sel4.systems
When replying, please edit your Subject line so it is more specific than "Re: Contents of Devel digest..."
Today's Topics:
- Re: some questions about camkes-manifest (Anna.Lyons@data61.csiro.au)
- Interested in Contributing to SeL4 (Aditya Upadhyay)
Message: 1 Date: Mon, 25 Mar 2019 02:23:22 +0000 From: Anna.Lyons@data61.csiro.au To: yadong.li@horizon.ai, devel@sel4.systems Subject: Re: [seL4] some questions about camkes-manifest Message-ID: 1553480602203.73891@data61.csiro.au Content-Type: text/plain; charset="iso-8859-1"
Hi,
You can find the library in https://github.com/SEL4PROJ/projects_libs?
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 aditya.sidd.upadhyay@gmail.com To: devel@sel4.systems Subject: [seL4] Interested in Contributing to SeL4 Message-ID: CAP7bF08qCr2dxd=WwbRwKuJP8ZqNc1RswNJbsfnyZ5Dxg1rjCg@mail.gmail.com 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@sel4.systems https://sel4.systems/lists/listinfo/devel
End of Devel Digest, Vol 58, Issue 5
-
KIM MK