Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Rump kernel community user resources:
Mailing list: firstname.lastname@example.org. You can subscribe here or browse the archives (for archives before 3/2015, see here). You can discuss any subject related to rump kernels. Please do not "top-post" on the mailing list; instead, trim the quoted text down to the relevant part and insert your text under the text you are replying to.
#rumpkernel on irc.freenode.net.
If new to IRC and unsure how to join the conversation, please visit https://webchat.freenode.net/?channels=%23rumpkernel for a browser-based IRC client. Please ask your questions directly and let us know what you are trying to do, no need to ask for permission to ask a question here!
#rumpkernel-builds on irc.freenode.net, commit messages and CI build results.