Contributing S2E welcomes your contributions! For general contribution guidelines, please see here. Adding a new kernel If you want to add a new kernel, please see the "Extending" section in the README.