Kernel Debugging Instruction Setup I used VirtualBox for Kernel Debugging, VMWare shoud be able to do the same thing. Enter Machine Settings -> Ports -> Serial -> Enable Serial Port Port Number: Any :))) Port mode: Host Pipe Connect to existing : unchecked