On Wed, 18 Jan 2006, Stephen P. Becker wrote: > discussion concerning this yesterday. The thing is that for certain machines > such as ip22 and ip32, booting a ELF64 kernel is problematic, so people have > to make sure they use the vmlinux.32 target. Absolutely. Making `make boot' build a reasonable bootable object for a given platform might not be a bad idea. Maciej