This is Aditya Upadhyay, would like to contribute in SeL4 microkernel.
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 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.