On 3/24/21 2:09 PM, Frank Scheiner wrote:> Kernel sources are not available on the T1000. > > If need be, where do they need to exist and how should the directory be > named - `/usr/src/[...]`? Try installing "linux-source" and the "-dbg" package for your Debian kernel. Adrian -- .''`. John Paul Adrian Glaubitz : :' : Debian Developer - glaubitz@xxxxxxxxxx `. `' Freie Universitaet Berlin - glaubitz@xxxxxxxxxxxxxxxxxxx `- GPG: 62FF 8A75 84E0 2956 9546 0006 7426 3B37 F5B5 F913
