Hi Everyone,
We are currently in the process of setting up and moving to a public
Jira instance to manage many of our development issues. The first part
of this move involves setting up a request for comments (RFC) process
which will be implemented using a Jira project.
You can find out more about the RFC process in the first RFC:
https://sel4kernel.atlassian.net/browse/RFC-1
You are encouraged to leave feedback on the issue, but doing so requires
that you are logged in with an Atlassian Cloud account.
The introduction of a public issue tracker will allow us to better
engage with our community, accept more contribution from outside the
seL4 development team, and better communicate the ways in which we are
changing and improving the seL4 ecosystem.
In the long term, we hope to use this to track all of the major issues
currently under development across the ecosystem, accept issues
submitted by the public, and open issues up for members of the greater
community to work on.
The issue tracker will initially be used as the basis of the RFC
process, which will allow for the community to get involved with larger
changes to the ecosystem.
Many of the details of the process can only be clearly resolved as
it becomes used more regularly as part of ongoing development, so much
of how it works is still to be determined.
We are hoping to finalise this process at the beginning of the new year
before we use it to present a number of other changes we have been
planning so we can get your feedback before their design and
implementation is finalised.
This new issue tracker and RFC process are just part of greater ongoing
changes on which we are working to grow the community and to increase
its involvement.
We wish you all a happy holiday season and look forward to the start of
a new year with seL4.
Cheers,
Curtis