kernel tree for install disks?
It's cool that the install disks are running a really up to date
kernel (I wouldn't have been quite adventurous enough to use 1.3.91
myself otherwise, especially knowing that it breaks gdb :-) However,
those kernel sources are nowhere to be found on the debian sites...
The reason *I* care is that I'm trying a 1.1 pcmcia bootstrap, and for
that I need the exact kernel sources (and more importantly, config
file!) that the release was built with. If I grab 1.3.9x off the net,
I still have to guess about the config decisions, and have to do the
build from scratch anyway (and might as well boot with the new kernel
at that point -- except that then I can't just hand a pcmcia package
off to someone else who only has the install-disk kernel...)
It's also the case that distributing binary kernels without
corresponding sources (unless accompanied by a written promise of
providing them on request for the next 3 years) is not permitted by
the GPL... but really, *I* know your hearts are in the right places,
and I don't particularly care in this case -- I just want them so I
can set up the pcmcia stuff correctly :-)
On this subject -- the latest debian kernel source kit is only
1.3.64. How do people keep up, just load that one and unpack the tar
file over it, or at least apply the whole load of patches? Would
anyone be interested in having an up to date kernel source package
automatically produced?
Reply to: