Aborted L4linux due to CLI/STI

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Sep 9 22:46:49 CEST 2014


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

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 at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list