[01:22] <cmack2> Is there a place where the kernel configuration is saved for the kernel used in the ubuntu-server ISOs (e.g., ubuntu-14.04-server-amd64.iso)?
[01:35] <CarlFK> cmack2: pretty sure /boot/config-3.13.0-24-generic (from my desktop install)
[01:42] <cmack2> Is there any way I can access /boot/config-3.13.0-24-generic without having to boot into the kernel on the ISO (e.g., is the source stored somewhere or can I extract it from a file)?