Hi, On Mon Sep 08, 2014 at 07:10:00 +0000, Masti Ramya Jayaram wrote: > > That's ok as long it's also ok for native Linux. > > I am not sure what they did with native Linux but I know from the SCC > forums that these instructions do not exist. So I guess that is ok. > > > I'm wondering how did you end up with the code containing the cli? > > In L4Linux this part is replaced. > > Well, I am not sure about that. I did force a couple of options though > as I already mentioned. The reason was that when I tried to compile > L4linux for pentium/i586, I saw that it would complain about > CONFIG_X86_CMPXCHG64 not being enabled (this corresponds to the PAE > option). So I disabled this explicitly since the processors on the > SCC do not contain PAE. I also disabled the CONFIG_X86_CMPXCHG and > CONFIG_CMPXCHG_LOCAL options.
As far as I know the SCC does have a cmpxchg8b so you could just make Linux use that by tweaking the config. > Attached is my l4linux config. Just as a note, I am using quite an > old build of L4linux. Do you know of any related bugs? Uh, that's old. There are probably many. Were there any significant changes to that version? Adam -- Adam [email protected] Lackorzynski http://os.inf.tu-dresden.de/~adam/ _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
