This tutorial shows how to debug Linux kernel on a Windows operating system using another virtual machine with a Linux on it. Virtual machines will be connected by a serial port provided by VirtualBox using a named pipe on a Windows host system.
- Physical computer with Windows operating system. This tutorial uses Windows 10, but any recent version of Windows (8, 8.1) should suffice. We will refer to this computer as the host system.