http://kernel.ubuntu.com/~ksouza/lp1787898/linux-headers-4.15.0-34-generic_4.15.0-34.37~lp1787898_s390x.deb
does not contain s390 builds of tools:
$ arch s390x $ usr/src/linux-headers-4.15.0-34-generic/scripts/basic/fixdep warning: TCG doesn't support requested feature: CPUID.01H:ECX.vmx [bit 5] /lib64/ld-linux-x86-64.so.2: No such file or directory
http:// kernel. ubuntu. com/~ksouza/ lp1787898/ linux-headers- 4.15.0- 34-generic_ 4.15.0- 34.37~lp1787898 _s390x. deb
does not contain s390 builds of tools:
$ arch linux-headers- 4.15.0- 34-generic/ scripts/ basic/fixdep ld-linux- x86-64. so.2: No such file or directory
s390x
$ usr/src/
warning: TCG doesn't support requested feature: CPUID.01H:ECX.vmx [bit 5]
/lib64/