Okay! Aditya,
Let’s research together :)
BR,
MK
Sent from my iPhone
On 26 Mar 2019, at 6:43 AM,
"devel-request(a)sel4.systems" <devel-request(a)sel4.systems> 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: <Anna.Lyons(a)data61.csiro.au>
To: <yadong.li(a)horizon.ai>ai>, <devel(a)sel4.systems>
Subject: Re: [seL4] some questions about camkes-manifest
Message-ID: <1553480602203.73891(a)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(a)gmail.com>
To: devel(a)sel4.systems
Subject: [seL4] Interested in Contributing to SeL4
Message-ID:
<CAP7bF08qCr2dxd=WwbRwKuJP8ZqNc1RswNJbsfnyZ5Dxg1rjCg(a)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(a)sel4.systems
https://sel4.systems/lists/listinfo/devel
------------------------------
End of Devel Digest, Vol 58, Issue 5
************************************