Re: [Linux-ia64] kernel make install - why don't we make it easy like on ia32?

From: Richard Hirst <>
Date: 2002-03-27 03:06:00
On Tue, Mar 19, 2002 at 10:38:02PM -0800, Piet/Pete Delaney wrote:
> I was wondering why the ia32 style of installing boot stuff like 
> /boot/vmlinuz that done in:
> 	arch/i386/boot/Makefile
> and
> 	arch/i386/boot/
> isn't being done for ia64. 
> I'm thinking of makeing a few tweaks to the ia32 version to copy 
> kernel stuff to /boot and /boot/efi. I've been using a hack on the 
> top level kernel Makefile but it's a hack to do it there. The ia32 
> paradigm seems fine; so why isn't it done for ia64. Even after 
> applying the ia64 patch to linux-2.4.18, a 'make install' in the 
> top level kernel Makefile still breaks.
> What gives?

Note that on Debian ia64 the efi partition is not normally mounted.  The
approach we took was that kernels+initrds are dropped in /boot, and then
we have a script /usr/sbin/elilo, which makes sure the efi partition
contents are up to date.

Received on Tue Mar 26 08:22:06 2002

This archive was generated by hypermail 2.1.8 : 2005-08-02 09:20:07 EST