“walt” listed the kernel debugging tips found on the wiki, along with some additional tidbits.