Re: Debian Kernel info
On 09/05/2018 05:34 PM, Martin Steigerwald wrote:
> Fabian Grünbichler - 05.09.18, 17:19:
>> On Wed, Sep 05, 2018 at 02:33:33PM +0200, Martin Steigerwald wrote:
>>> Tomas Bortoli - 05.09.18, 08:48:
>>>> is there a place where I find the config used to compile Linux for
>>>> the latest Debian ?
>>>>
>>>>
>>>> The alternative idea I had is to `apt source linux-image-version`
>>>> but
>>>> that requires to download the whole package.
>>> Probably via
>>>
>>> https://sources.debian.org/src/linux/4.17.17-1/debian/config/amd64/
>>>
>>> or something like that?
>> linux-image-$(uname -r) ships /boot/config-$(uname -r), which AFAIK is
>> the actual config used to compile that kernel image.
> Sure, I know that. And yes, it appears the source package puts the
> config together from various sources. But that was the closest
> approximation I came up with so far.
>
> I am not sure whether there is something similar than sources.debian.org
> for binary packages. I thought there was, but currently I have no idea
> where that might be.
>
> Thanks,
Thanks,
I noted that some hardening options are disable, by testing it against:
https://github.com/a13xp0p0v/kconfig-hardened-check
such as:
CONFIG_SLAB_FREELIST_HARDENED
CONFIG_REFCOUNT_FULL
---
what do you think about those ? not enable bc of performance ?
greetings,
Tomas
Reply to: