On Tue, 2013-11-12 at 21:17 +0000, Alex Naysmith wrote: > Thank you all for the sed regex explanation. What possible kernel > variations other than 'generic' are possible to require the sed > substitution? I guess there isn't a kernel named "generic" available by Debian repositories and the name extension not always is at the end of the name, however there are tons of kernels rt rtai lowlatency pae xen desktop and others