Re: Debian Kernel info

[Fabian Grünbichler <fabian.gruenbichler@student.tuwien.ac.at>]

On Wed, Sep 05, 2018 at 02:33:33PM +0200, Martin Steigerwald wrote:
> Hi Tomas.
> 
> 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.