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.