Use our own kernel