Maciej W. Rozycki wrote: > On Wed, 26 Sep 2007, Martin Michlmayr wrote: > >>> Weird, all these symbols seem to be 32 bits ones... >>> >>> Could you put somewhere your vmlinux you're actually running ? >> http://merkel.debian.org/~tbm/tmp/vmlinux.32 >> Note that I'm using "make vmlinux.32" > > It should not matter here -- the build is done using the ELF32 or ELF64 > file format according to CONFIG_BUILD_ELF64 and if you request a target Except that if CONFIG_BUILD_ELF64 is set then we assume that the kernel is linked in XKPHYS which results in Martin's crash since his kernel is linked in CKSEG0. If you can recall that was done for a micro-optimization in __pa() but it was a huge mistake because it relies on the configuration of BUILD_ELF64 to be setup correctly by the user... So in this case there's no point to set CONFIG_BUILD_ELF64='y' since it makes the kernel bigger and slower. But it used to work until my change, so my own fault. Now it's going to be fixed in v2.6.23 by Ralf's commit. Martin, can you live with CONFIG_BUILD_ELF64='n' for now ? Franck
