Hi all
I see perhaps this will be usefull then I post it.
Linux Kernel Debugger (Linice) v2.5 Released:

http://www.linice.com/

sincerely yours