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:
but I am still figuring out the stuff to contribute. Any Valuable
suggestions would be appreciated. Would you like to point any blogs related
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
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.