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:

1. Re: some questions about camkes-manifest (Anna.Lyons@data61.csiro.au) 2. 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,

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 <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 ************************************