Live Tracing of Linux Kernel Code
Overview Live Tracing allows recording the values of arbitrary variables in the Linux kernel each time a given line of
Read moreManaging Linux Kernel Packages with VisualKernel
Most Linux distributions provide prebuilt Linux kernels as packages ready to install via apt or yum. Depending on the distribution,
Read morePrebuilt Linux VM Images
VisualKernel provides a convenient mechanism for developing Linux kernel modules with minimal setup – prebuilt kernel VM images. You can
Read moreLinuxKernelDebugHelper Module
VisualKernel can greatly enhance the kernel debugging experience by building and installing LinuxKernelDebugHelper.ko – a special kernel module facilitating several
Read moreVisualKernel QEMU Integration
VisualKernel is fully integrated with QEMU – an open-source virtualization engine. QEMU has a very basic GUI compared to VMWare
Read moreSupported Virtual Machine Types
The easiest way to debug a Linux kernel issue that does not involve specific hardware is to create a virtual
Read moreInstalling Development builds of VirtualBox with GDB Support
The recent versions of VirtualBox support debugging the target directly (i.e. without the use of kgdboe or kgdboe) with a
Read moreBuilding Kernels when Symbols Are Missing
Kernel symbol files are special files that allow mapping code and data inside the kernel into meaningful variable names and
Read moreLinux Kernel Symbol Overview
Debugging Linux kernel modules using gdb is different from debugging normal user-mode applications. Unlike user-mode where gdb can automatically load
Read moreAdvanced Debugging Settings Overview
VisualKernel allows customizing various aspects of kernel debugging through the Debug Settings page in the VisualKernel Project Properties dialog. This
Read more