still trying to fix the kernel