Mark E Mason: > Kaz Kylheku: > > > > Anyone seen a problem like this? cfe_cpu_start() works fine on a > > 32 bit kernel, but not on 64. > > Which version of CFE are you using? We'd seen something like > this with > the 1480 eval boards, some specific versions of CFE, and 64-bit SMP > Linux. I see in the release notes that something was fixed in 1.2.4 that could prevent 64 bit SMP from booting: a bug that was preventing the upper halves of registers from being saved. Is that what you are talking about? We are on 1.3.0. Thanks.
