Re: Debian Kernel info

[Martin Steigerwald <martin@lichtvoll.de>]

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,
-- 
Martin