Forgot to implement this for the kernel