Debugging tool for Linux kernel and driver development

What are some widely used industrial tools (software/ hardware) for debugging Linux kernel and driver? Recently my company allocate a budget for purchasing this kind of tools, so I would like what are the tools that would greatly ease our development.