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 like "vmlinux.32" or "vmlinux.64" the resulting "vmlinux" binary is converted to ELF32 or ELF64 respectively with `objcopy' (which is equivalent to `cp', barring oddities of `objcopy', if "vmlinux" is already of the "right" type). Maciej
