import the kernel code to use the new repository