kernel to our repo