Kernel config file

[alvarezp]

Is the config file available? /boot is empty, /usr/src is empty, /proc/config.gz doesn't exist...

[imported_matta]

No... it is a Virtuozzo kernel and it's not in the RPM for it either. It does not matter much though as you can't re-compile the kernel or kernel modules under Virtuozzo.

[alvarezp]

So kernel-related security issues are handled by Tektonic?

[imported_matta]

Yes, we keep track of all kernel updates and send out notices with the specific vulnerabilities / bugs they fix.

[ragu]

>> we keep track of all kernel updates

It is easier to keep track of compiled Debian HN kernels via the
kernel compile package 'kernel-package'. As you maybe using
generic kernel images, this may not apply.

apt-get install kernel-package
man make-kpkg