Hi all,
First apologies if this has been asked before.
What is the recommendation for symbolic debugging the kernel ?

Thanks
Kate