Back to tracking our own kernel...