VMware-Player-14.1.3 does not start because it asks for a kernel update.

English Virtualization
#1

The installation of the Player claimed to be successful.

When I try to start the Player the message is:
“Before you can run VMware, several modules must be compiled and loaded into the running kernel. Kernel Headers 4.12.14-lp150.12.16-default
were not found. Refer to your distribution’s documentation for installation instructions.”

uname -r answers 4.12.14-lp150.12.16-default
Therefore the requested kernel seems to be installed. People at VMware say that
Kernel Headers are missing.

I don’t know where to find them and how to install them. And Tools for kernel development I did not install.
On the other hand: Since the requested kernel seems to be installed why should corresponding headers be missing?

#2

Post:

zypper se -si kernel

zypper lr -d

The headers are in the kernel-devel or kernel-default-devel packages and must match to your running kernel.
These packages are not installed by default…

#3

With YaST I installed kernel-devel (YaST added kernel-default-devel and two more packages). After that the Player made some additions to the kernel and then it started. That means that this problem is solved.
Thank you very much.