Debugging a custom kernel