From: eLinux.org

Tools

• addr2line for kernel debugging
• decode an ioctl
• Exception Analysis tools
  • This includes things like oops emitters, exception monitors, coredump analysis, etc.
• PgpKey
• Ttc - target control tool