some work on the kernel