Christian Horn:
that page has
~]# yum install -y kernel-devel-$(uname -r) \ kernel-debuginfo-$(uname -r) kernel-debuginfo-common-$(uname -m)-$(uname -r)
..and I think that should be
~]# yum install -y kernel-devel-$(uname -r) \ kernel-debuginfo-$(uname -r) \ kernel-debuginfo-common-$(uname -m)-$(uname -r)
The doc is in
https://gitlab.cee.redhat.com/red-hat-enterprise-linux-documentation/doc-Red_Hat_Enterprise_Linux-7-SystemTap_Beginners_Guide