On Fri, Dec 02, 2016 at 03:27:01PM +0800, Teoh Choon Zone wrote:

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.

You'd better budget some time to google a bit and watch conference
videos showing debugging techniques :) There are fine videos from past
Kernel Recipes conferences.