How to Install VMware Workstation 17 Pro on Debian 13

Quick Insight

VMware Workstation 17 Pro installs on Debian 13 Trixie as a robust virtualization layer. First, download the bundle file and install the build tools with apt. Then, make the file runnable and launch the setup script. If the kernel headers fail, fetch and install the matching deb packs. This turns your Debian host into a multi-OS lab without a reboot. As a result, you run Windows or other guests side by side with full native speed.

In this article, we will look at VMware Workstation 17 Pro on the Debian 13 Trixie system. This program is a strong virtualization tool that can run many operating systems. For example, you can use Windows, macOS, and Linux at the same time.

We will work with Debian 13 Trixie. First, you will learn to make and run virtual machines. Setting up the network is also very important. I will show system repair with snapshots.

Also, with help for fixing problems, our guide gives you every fact you need. So, you will make the best use of VMware computer software!

Installing VMware Workstation on Debian

How to Set Up VMware Workstation 17 to Run VMs on Debian

You can use Debian, a perfect Linux system. You can make fake computers on it. For example, you can run Windows or other computer systems.

The best part is that you don’t need to restart your computer. This way, you can work efficiently without wasting time.

You can add a new system using the two-boot method. You can put this new system on your current computer. But you must turn off and on your PC to change systems. This can take a lot of time.

So, use a fake computer for a quicker fix. You can add the system you need to a fake PC. This lets you use it at the same time as your first system. Now, you can work well without losing time.

Do you want to use Windows apps on your Debian machine? First, make a virtual system. For example, you can add Windows 10 or an old system. This lets you use your job programs with no trouble.

You can use virtualization software on your Linux machine. You can pay or not pay for them. But pick an app that has many good tools. This way, you will help you do more work with your job.

For example, you can save a snapshot of a system you made yourself. Then, you can make the virtual computer parts work better. That is, this helps the system run much, much faster.

Using VMware Workstation on Debian OS

First, you need to download VMware Pro to your Linux system. You can use the official website or other sources.

First, visit the site with your web browser. Then, download it from the relevant page. Or, you can also use the command line. You can easily obtain the program with the “wget” command and perform a quick & smooth installation.

1. How to Download and Install VMware Pro

Step 1

The file extension for VMware Pro for Linux is Bundle. Visit the download page and locate the “Workstation 17 Pro for Linux” heading. Then, click the Download Now link. Save the Bundle file to your computer.

You can download the VMware bundle file from the website. As an alternative, you can use the wget command. This way, you can quickly get the Workstation program.

Downloading the bundle file from the right source is vital. Our guide for the latest Workstation Pro bundle file is ready. Always check the version number. Pay attention to one thing here. An old bundle causes issues on new kernels.

cd ~/Downloads
wget https://download3.vmware.com/software/WKST-1700-LX/VMware-Workstation-Full-17.0.0-20800274.x86_64.bundle

VMware Pro Download for Linux

Step 2

We need GCC packs for the Workstation app. Open the command line and type “sudo apt install build-essential.” This will add all the required packs for Debian.

NOTE: Do not go on without adding this pack. If you do, you will see the VMware Kernel Module Updater screen. In this window, you will see that the GNU C Compiler (gcc) package is missing.

Also, if you got the GCC pack as a deb file, press the Browse button. Then show where the file is and add it. Or, you can also get it using the command line. For this, shut the window by pressing Cancel.

sudo apt install build-essential dkms

Installing Linux Kernels for VMware

Step 3

Get the VMware bundle file to Downloads. Then, begin the setup by changing the file’s rights.

chmod +x VMware-Workstation-Full-17.0.0-20800274.x86_64.bundle
sudo ./VMware-Workstation-Full-17.0.0-20800274.x86_64.bundle

Running the package file from the terminal saves Linux users a lot of time. The same logic applies when setting up VMware on Linux Mint. First, open your terminal window. Then, grant execute permissions to the installer package.

Installing the VMware Workstation.bundle File

2. Running VMware Workstation & Resolving Kernel Issues

Step 1

After you finish the setup, press on Activities. Here, find and run the program by typing its name in the search box.

Running the VMware Program

Step 2

As soon as you install the kernel modules, you will open the VMware VM software. First, click Next, choosing to accept the license agreement.

NOTE: After you add the kernel parts, start VMware again. This time, you might get the “Kernel Headers 5.10.0-14-amd64” mistake. To fix this, you need a few packs. First, you have to add these packs to your system.

Open the command line again and first go to the Downloads folder. Then, type the command “cd ~/Downloads && mkdir LinuxHeaders && cd LinuxHeaders”. This makes a new folder. Now, get the needed packs using the wget order. Keep the gotten packs in this folder.

cd ~/Downloads && mkdir LinuxHeaders && cd LinuxHeaders
wget https://the.earth.li/debian/pool/main/l/linux/linux-headers-5.10.0-14-amd64_5.10.113-1_amd64.deb | wget https://the.earth.li/debian/pool/main/l/linux/linux-kbuild-5.10_5.10.113-1_amd64.deb | wget https://the.earth.li/debian/pool/main/l/linux/linux-headers-5.10.0-14-common_5.10.113-1_all.deb | wget https://the.earth.li/debian/pool/main/l/linux/linux-compiler-gcc-10-x86_5.10.113-1_amd64.deb

Install all the deb packs inside the LinuxHeaders folder. Type “sudo dpkg -i .deb” into the terminal and run it. Restart VMware Workstation Pro and click the Install button this time.

Set up the right header packages first. This step is key when you build a kernel. Missing modules often lock your system. Installing VMware Workstation on Kali Linux needs these same steps.

Wait for the Linux kernel to compile and install. Be patient while the VMmon and VMnet modules are loading.

sudo dpkg -i *.deb

Accepting the VMware License Agreement

3. Configuring VMware Pro License Settings

Step 1

Install the VMware OVF Tools components for Debian Linux. In the relevant window, read and accept the license terms, then click Next.

Accepting the VMware OVF Tool License Agreement

Step 2

I say you should look for new stuff each time you use Workstation Pro. So, go on by picking the “Yes” choice for that question.

Accepting Updates at Startup

Step 3

I think you should join the VMware User Help Program (CEIP). This shows you like the Workstation app. But, if you do not want to, that is okay—you can keep going with the setup by picking “No.”

Join the Customer Experience Program

Step 4

If you purchased VMware Workstation Pro for Debian, enter the license key. Here, you can activate the program. If you will be using the 30-day trial version, select the relevant option and click Finish.

I Want To Try 30 Days Free

Step 5

After you start the VMware desktop virtualization, see what version it is. Go to Help / About in the Tools menu. This way, you will check that the setup worked right.

Checking Workstation Version

How to Create a New Virtual Machine on Debian

After you install VMware Workstation on Debian, you can make virtual PCs. So, you can add any system you like and use your main computer well.

1. Configuring the Basic Settings of the Virtual Machine

Step 1

Open the VMware virtual machine manager on your Debian OS. Look at the options on the main page. Click the option “Create a New Virtual Machine” here. This will quickly launch the VM wizard.

Creating a New Virtual Machine

Step 2

When you see the new virtual machine wizard, wait a bit. If you want to set up the Guest system in a harder way, pick “Custom (Advanced).” Or, press Next to keep going with the standard virtual hardware parts.

Selecting the Advanced Virtual Machine Option

Step 3

Leave the VM hardware compatibility as they are. Then, keep going with the steps.

Selecting Virtual Hardware Compatibility

Step 4

Insert the CD/DVD for the system you want to add. Right after, pick the “Use a Physical Drive” choice. Then, choose the right drive. This way, you can do the setup from your main DVD drive.

If you have an ISO file, you can add it from this screen. If you do this, a few settings will turn on by themselves.

Let’s get a more advanced fake computer ready. To do this, pick the “I will install the operating system later” choice.

I Will Install the Operating System Later

Step 5

Open the guest OS selection window. First, choose the system platform. View the version settings. For example, if you set up a Win10 VM, select ‘Windows 10 x64’. Beyond Windows, you can also run Debian as a guest.

Selecting the Guest OS

Step 6

Type any name you want for the Windows system. Then, say where to keep it on your primary disk.

Configuring the Virtual Machine Location

Step 7

Set the Firmware type for your Windows 10 guest system. For a more secure option, select “UEFI / Secure Boot” and proceed.

Enabling UEFI / Secure Boot

2. Configuring Virtual Hardware Settings

Step 1

Here, think about what your Debian computer can do based on its CPU hardware. Pick a good number for the virtual processor. That is, you will get power from your real machine’s brain.

Setting the Number of Virtual Processor Cores

Step 2

In the same way, change the memory size so your virtual system runs well. Pick the correct RAM value. So, you will also help your fake PC work better.

Configuring Virtual Memory Size

Step 3

I recommend that you set up the virtual machine’s network to fit what you need. For example, you see the NAT part as usual. If the VMnet choices are hard for you, press Next to go on.

Selecting the Network Address Translation (NAT) Adapter

Step 4

Pick the I/O Controller kind for the virtual disk. Say yes to the default “LSI Logic SAS” choice and go on.

Selecting LSI Logic SAS Controller Type

Step 5

Set the virtual disk type for Windows 10. If you select NVMe, the performance you’ll get on a fast host will be incredible.

Selecting the NVMe Disk Type

3. Creating a Virtual Disk for Windows 10 VM

Step 1

Let’s say you want to install a clean Windows operating system. In this case, proceed with the “Create a New Virtual Disk” option.

Creating a New Virtual Disk

Step 2

Now choose the size for your guest system’s fake disk. But, I suggest you should pick backup as the single file type.

Storing a Virtual Disk as a Single File

Step 3

Do not move the Windows 10 x64.vmdk file. First, leave the virtual disk where it is. Then you can keep going without a stop.

Location of Virtual Disk File

Step 4

First, check the hardware settings of your Windows 10 machine in the summary window. Then, make sure everything is correct and click Finish.

Virtual Hardware Summary Window

Step 5

The wizard indicates that you need to install VMware Tools after installing the Windows 10 VM. Since we will handle the VM’s drivers later, click Finish here.

Do not delay driver setup after installing your virtual system. On Linux guests, you must finish the VMware Tools setup for your Debian VM.

VMware Tools Notification Window

4. Configuring the Advanced Settings of the Virtual PC

Step 1

Change the settings to set up your VM better. First, press the “Edit Virtual Machine Settings” choice. Then you can make your hardware settings better or add an ISO file.

Editing Virtual Machine Settings

Step 2

First, pick Processors from the virtual hardware settings. Here, go to the Virtualization Engine part. Last, turn on everything here.

  • Virtualize Intel VT-x/EPT or AMD-V/RVI
  • Virtualize CPU Performance Counters
  • Virtualize IOMMU (IO Memory Management Unit)

Enabling Virtualization Engine Features

Step 3

To add an ISO file to the Windows 10 VM, select CD/DVD (SATA). Then, under Connection settings, check Use ISO Image. Here, use Browse to open the Windows 10 ISO you downloaded to your PC.

Adding Windows 10 ISO File to Virtual Machine

Step 4

Let’s say you want to use your USB 3.0/3.1 devices on your VM. If so, change the Compatibility setting in the USB Controller settings to 3.1 and save it.

Changing USB Type to 3.1

Step 5

Finally, begin the Windows system setup on your Debian machine. To do this, press “Start up this guest operating system.”

Running Windows 10 Virtual PC

Step 6

As a result, you have chosen to boot your guest system with the ISO file. That is why you will open the installation wizard for your Windows 10 OS with the image file.

Windows 10 Setup Screen

How to Uninstall VMware Workstation & Delete VMs on Debian

Getting rid of a virtual machine in Debian is simple. First, you do not need the terminal. Instead, open the Workstation app. Then, find the right VM in the VM list. Last, you can entirely remove it from your disk.

Open Workstation Pro and look at the virtual systems on the left side. Right-click on the guest system you want to remove. Then, pick Manage and then Delete from Disk. Last, press “Yes” in the okay box to erase the files.

You erased the virtual computer you made with VMware from your Debian disk. Now go to the place where you did the setup. Here, check that the place is now all gone.

Deleting the Virtual Machine from Disk

How to Uninstall VMware Workstation

Uninstalling VMware Workstation from your Debian PC is very simple! You can finish the delete job fast by using the command line.

First, open the terminal on your host system. Next, check the installed VMware products. To do this, run the command “vmware-installer –list-products.”

vmware-installer --list-products

You have seen the VMware app on your system with that order. Now, type “sudo vmware-installer -u vmware-workstation” in the command line to remove VMware Client Hypervisor.

sudo vmware-installer -u vmware-workstation

The uninstall command is only half the job. To erase VMware cleanly on Linux, you must clear leftover files too. One common mistake is leaving old kernel modules behind. These modules cause conflicts in a new setup.

Uninstalling VMware Workstation Pro

Video

Video Thumbnail
Watch on YouTube

Installing Old Versions

Debian / VM Version Table
Debian / VM VersionYouTube VideoSlide
9 / 14 ProWatchView
11 / 16 ProWatchView
11 / 17 Pro (NEW)Watch–

Debian & VMware Workstation Pro FAQ

Which dependencies should I install before I set up Workstation 17 Pro on Debian 13?

First, open a terminal and start with this trio: build-essential, linux-headers-$(uname -r), and dkms. These packages give you the base tools and header files you need to build VMware kernel modules.
If Secure Boot is on, also add mokutil and openssl to the list. Also, you will need these tools to sign the modules. Do not panic when the setup wizard shows a missing package warning; use the sudo apt install command to fill the gaps and keep going.
Next, do not forget DKMS. It rebuilds modules on its own each time the kernel updates. That small step kills hours of future pain in one shot.

How do I fix the ‘vmnet module failed to load’ error during setup?

Actually, the error message you see comes from the Indirect Branch Tracking (IBT) guard that Debian 13 turns on by default. Workstation 17.6.4 does not support this hardware feature yet, so the vmnet module refuses to load.
Right away, open the /etc/default/grub file. After that, add the ibt=off parameter to the end of the GRUB_CMDLINE_LINUX_DEFAULT line. Finally, run sudo update-grub and reboot the system.
If the error persists, run vmware-modconfig –console –install-all. When the modules still fail to build, apply the patches in the mkubecek/vmware-host-modules repo. Also, that repo gets regular updates for new kernel support.

Does virtualization software run without issues when Secure Boot is on?

In short, it does not run out of the box. Secure Boot blocks unsigned kernel modules from loading. VMware does not sign its modules during setup, so the system rejects them.
However, the long-term safe fix is to create a MOK (Machine Owner Key). Generate a key pair with openssl, register it with mokutil –import, and follow the Enroll MOK steps on the blue screen you see at reboot. This process takes about five minutes.
Alternatively, you can turn off Secure Boot in the BIOS. Still, this disables a security layer on your system. I always suggest the MOK method to my clients: set it up once, then forget it.

Which settings should I check for mouse and keyboard lag in a virtual machine?

First, check the session type. Debian 13 ships Wayland by default, and VMware Workstation does not fully support Wayland yet. Pick the X11 session from the gear icon on the login screen; mouse movement will feel smooth right away.
Add this line to your VMX file: mks.gamingMouse.policy = “gaming”. This setting greatly improves pointer handling performance. On top of that, do not forget to set USB controller compatibility to 3.1.
Finally, make sure you installed the open-vm-tools-desktop package. Without these tools in the guest system, VMware cannot capture mouse and keyboard events correctly.

What do the free-use terms for Workstation 17 Pro cover?

Good news: Workstation Pro has been fully free since Broadcom shipped version 17.6.2 in November 2024. You do not need to enter a license key. What’s more, commercial, school, and personal use all fall under this scope.
Previously, only personal use was free. Besides, now you can use it freely even in a company. If a license screen appears during setup, select “Personal Use” or the trial option and move on.
This change is one of the biggest moves after Broadcom bought VMware. So, all you need to do is download the current bundle file from the Broadcom support portal.

What should I do if modules fail to rebuild after a kernel update?

First of all, stay calm; this case is very common. Install the header files for the new kernel version: sudo apt install linux-headers-$(uname -r). Then run sudo vmware-modconfig –console –install-all.
If you still get an error, VMware source code does not match the new kernel. Next, clone the mkubecek/vmware-host-modules repo. After that, pick the branch that matches your kernel version and run make and sudo make install in order.
To sum up, turn on DKMS for a lasting fix. That way, modules rebuild on their own with each kernel update. Set it up once, and you never deal with module build pain again.

Should I pick open-vm-tools or the official tools?

In short, my clear answer for Debian 13 is open-vm-tools. Even VMware itself suggests this open-source package for Linux guest systems. The official VMware Tools ISO now counts as legacy and needs a manual setup.
If you use a desktop virtual machine, install the open-vm-tools-desktop package. This package brings features like clipboard sharing, drag and drop, and screen resizing. Meanwhile, the base open-vm-tools package is enough for server setups.
Best of all, APT updates it on its own. You do not face the chore of rebuilding it with each kernel update. If you do not want to deal with the build steps of the official tools, you are in the right place.

Are there known compatibility issues between Debian 13 and 17 Pro?

Yes, in fact, two main issues stand out. One is the IBT (Indirect Branch Tracking) conflict. Debian 13 turns this security feature on by default, and Workstation does not support it yet. To get past this block, use the ibt=off parameter.
Second, the modprobe process hangs at 100% CPU. This issue also links to IBT, and it can lock the system during setup. Before you do a clean setup, always fix the GRUB setting.
Besides, mouse and keyboard quirks can show up in Wayland sessions. Switching to X11 largely solves this trouble. The overall picture: with a few tweaks, Workstation 17 Pro stays stable on Debian 13.

Which network settings should I check when I set up a bridge connection?

In VMware, open the Virtual Network Editor from the Edit menu. Select the VMnet0 row. Instead of “Automatic,” manually pick your real physical network card (for example, your Wi-Fi or Ethernet adapter).
However, the automatic option can map to the wrong adapter among VPN adapters or virtual adapters. This makes the virtual machine get an invalid IP such as 169.254.x.x. Manual binding removes this risk completely.
To finish, confirm the vmnet-bridge process runs. You can check it in a terminal with ps aux | grep vmnet. Without the process, a bridged network link never comes up.

Which alternative solutions stand out for virtual machines on Debian 13?

If you want performance and system integration, the KVM/QEMU pair leads by far. It runs right inside the kernel and uses hardware acceleration at full speed. On top of that, you can get a visual interface with virt-manager.
If easy setup is your top priority, you can turn to VirtualBox. Its network setup and interface are simpler. That said, its performance sits a bit below KVM, and kernel module issues can trouble you now and then.
Meanwhile, both solutions are mature and under active development. If license and module build pain from Workstation wore you out, now may be the right time to move to KVM.

Conclusion

To end, you can do great things with Debian 13 on your machine using VMware Workstation 17 Pro. Also, these steps will let you run virtual computers with no trouble. In all, you can use other systems without restarting your main PC.

Next to others, the VMware virtualization platform has more tools. So, you can know it will significantly help your work. Also, it gives you a soft fake PC fix as it lets you run many systems on one machine.

We also have the same program to help people using fake computers on Ubuntu. You can also see our steps for installing VMware Workstation on Ubuntu. This way, if you are new or skilled, you can run many systems on your machine!

They'll Thank You for Discovering This Guide!

Ready to do your loved ones a huge favor with just one click? Knowledge grows as it is shared.

1 Reader Comment

  1. Sorry, but for debian 13 this do not work. The information about kernel headers and where they are is too old.

    Best regards Helmut

Share Your Opinion