add the kernel files to this repo