Add our own kernel