Location of vmlinux debuginfo file

[Mike Mason]

By default, the SLES 10 kernel debuginfo package puts its vmlinux file in 
/usr/lib/debug/boot/vmlinux-`uname -r`.  It *does not* put a vmlinux in 
/usr/lib/debug/lib/modules/`uname -r`/vmlinux, or any of the other places stap 
looks.  Consequently, stap can't find vmlinux. Would it be reasonable to add 
/usr/lib/debug/boot/vmlinux-`uname -r` to the list of places stap looks?

BTW, I noticed that FC5 also puts a vmlinux in /usr/lib/debug/boot and it's 
smaller than the vmlinux in /usr/lib/debug/lib/modules/`uname -r`.  What's the 
difference between the two?

Thanks,
Mike