On Thu, Jun 18, 2009 at 12:43:32PM +0100, Patrick Welche wrote: > > The following patch "works for me" - suggestions on improvements, and which > man page I should edit welcome :-) The patch is wrong. Symbols should be retrieved from /dev/ksyms and all knowledge of "the booted kernel name" removed. Thor