• Download

  • Get VisualKernel
  • Buy VisualKernel
  • Version history

• Tutorials

  • Tutorial list
  • Exploring Kernel
  • Debug with KGDB
  • Debug over Network
  • VMWare Stub
  • VirtualBox debugger
  • Modifying Kernel
  • Quick Debug
  • 2-machine setup
  • Importing modules
  • Ubuntu 15
  • CentOS 7
  • Ramdisk sample
  • Procfs file
  • Character device
  • Ubuntu setup
  • Fedora setup

  Raspberry PI

  • Build kernel
  • Setup JTAG
  • Basic module
  • Modify kernel
  • LED driver

  i.MX6

  • Build kernel
  • JTAG Debug
  • Ethernet Debug

• Documentation

  • Debugging overview
  • Debugging settings
  • Kernel symbols

Turnkey Debugging Service

VisualKernel comes with out-of-the-box support for debugging Linux Kernel on Raspberry Pi and Wandboard using JTAG. It can be easily configured to target other boards as long as the following requirements are met:

• The board has JTAG lines exposed
• The board vendor provides the Linux kernel sources that can be compiled with debug information
• The board vendor provides a cross-toolchain, or the board is built with one of the common cross-toolchains

If you are not sure about any of those, and prefer a debugging environment that just works, we offer a worry-free turnkey debugging service. Simply contact us via the support form, let us know which board you are using and we will give you a quote for doing all the necessary research and providing you with detailed schematics and project templates, so all you need to do is press F5.