Hello, > 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. Yes, I was thinking of the one fixed in 1.2.4. Definitely sounds like a [new] bug then. Have you filed a bug report with sibyte-software@xxxxxxxxxxxx? Thx, Mark > > Thanks. > > >
