On Tue, 17 May 2005, Michael Belamina wrote:
> I have built a 64 bit kernel for BCM1250.
> When the kernel is loaded and control is passed to
> kernel_entry there is an exception:
> CFE> boot -elf LinuxServer:vmlinux.64
I'm assuming vmlinux.64 is a 64-bit ELF file. If so, then, well,
depending on the version of CFE you have, this may or may not work. The
workaround is to always use 32-bit ELF files. You should get one after
your Linux build -- if not (which may depend on how you do builds), then
try `make vmlinux.32' and use the result.