On Wed, 12 Nov 2014 18:31:07 +0000 (UTC), James wrote:

> > 1) Boot from the DVD and copy /proc/config.gz to a
> > writeable device.  
> 
> cool, this gets me the .config file.
> 
> > 2) Copy the kernel from the DVD and use
> >    /usr/src/linux/scripts/extract-ikconfig to extract the config.  
> 
> Ok, I'm not sure where the actual kernel binary is on the livedvd.
> I really want that actual binary.

I thought you just wanted the config. If you look in the bootloader menu,
either from the menu itself or at its config file on the disc, you will
see the path to the kernel it is using.

If the live DVD uses GRUB, the config is at grub.cfg as usual. If it uses
isolinux it will be either /isolinux/isolinux.cfg or
/boot/isolinux.isolinux.cfg.


-- 
Neil Bothwick

If at first you don't succeed, you'll get a lot of free advice from
folks who didn't succeed either.