Hi,
> > > The remaining problem is that we don't really have a standard
> > > location for 'vmlinux'.
> >
> > How about /boot/vmlinux-$version ?
>
> This feels like the right answer to me. It's consistent with
> the naming and using of the rest of the kernel's bits and pieces
> (/boot/config-$version and so on).
On thinking about it a bit more, however, it does also sound
reasonable to have it under /usr/lib/debug, along with other debug
symbols. RedHat seems to have kernel-debuginfo package which places
the kernel in /usr/lib/debug/lib/modules/$(uname -r)/vmlinux, and
considering that many systems have a separate /boot with limited
partition size, it might be more ideal.
It is also possible to delete the whole /usr/lib/debug tree if it's
not needed.
regards,
junichi
--
[EMAIL PROTECTED],netfort.gr.jp} Debian Project
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
