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).
That would be fine by me.
It would be nice if Debian standard kernels also distribute the debug
symbols so that we can profile/debug.
regards,
junichi
--
[EMAIL PROTECTED],netfort.gr.jp} Debian Project
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
