Re: Checking executables before running them in L4re/fiasco

2014-09-07 Thread Adam Lackorzynski
Hi, On Fri Sep 05, 2014 at 12:29:15 +, Masti Ramya Jayaram wrote: Thanks for the information. I have two issues/questions: a. I looked at the move_modules (which does not do much in my case) and I tried to replace the linux.cfg from Compiled in version:

Re: l4/sys/syscalls.h: No such file or directory

2014-09-07 Thread Adam Lackorzynski
On Fri Sep 05, 2014 at 15:05:46 +0200, Valentin Hauner wrote: On 09/05/2014 12:28 AM, Adam Lackorzynski wrote: Does it work with the default scheduler? No, it does not work with the default Fixed_prio scheduler. Tasks are created properly and my threads are assigned to them. But after that,

Re: Aborted L4linux due to CLI/STI

2014-09-07 Thread Adam Lackorzynski
On Fri Sep 05, 2014 at 16:21:34 +, Masti Ramya Jayaram wrote: I forgot to mention that it also does not support the traditional cmpxchg instructions using the lock line. That is why I disabled it. That's ok as long it's also ok for native Linux. On 05 Sep 2014, at 18:16, Masti Ramya