Kernel support for kdb