Hi!

AFAIK it's not a good idea to have linux-headers newer than kernel.
Maybe it has sense to mask linux-headers newer than current kernel in
hardened profile?

-- 
                        WBR, Alex.
-- 
[EMAIL PROTECTED] mailing list

Reply via email to