Ilya Volynets wrote: [snip] > > > Is it also an R10k system, or are > > > you useing an r4k system? > > > > IT's r10k. AFAIH the r4k systems have still ARCS32 and should be > > able to boot a 32 bit kernel. > And how are you dealing with R10K speculative execution > in non-cache-coherent systems problem? Not yet. I plan to modify the assembler for it. Thiemo
