<div dir="ltr">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.</div>