RE: Adding a custom library to l4/pkg/bootstrap

2014-09-05 Thread Masti Ramya Jayaram
Hey Martin, No I did not have the require_libs declared. I will try that. Thanks, ramya From: l4-hackers [l4-hackers-boun...@os.inf.tu-dresden.de] on behalf of Martin Küttler [martin.kuett...@gmail.com] Sent: 04 September 2014 09:27 To:

RE: Checking executables before running them in L4re/fiasco

2014-09-05 Thread Masti Ramya Jayaram
Hey Adam, 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: -- --vim:set ft=lua:

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

2014-09-05 Thread Valentin Hauner
Hi, 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, nothing happens. Instead, one of the created threads (thread0

Aborted L4linux due to CLI/STI

2014-09-05 Thread Masti Ramya Jayaram
Dear all, I get an error during L4linux boot when I enter the debugger (using ESC) and resume: Aborted L4linux due to CLI/STI at 0x534911. When I disassemble this using gdb: (gdb) disassemble 0x534911 Dump of assembler code for function cmpxchg8b_emu: 0x00534910 +0: pushf

Re: Aborted L4linux due to CLI/STI

2014-09-05 Thread Masti Ramya Jayaram
I forgot to mention that it also does not support the traditional cmpxchg instructions using the lock line. That is why I disabled it. Sorry about the multiple emails, Ramya Sent from my phone On 05 Sep 2014, at 18:16, Masti Ramya Jayaram rma...@inf.ethz.ch wrote: Dear all, I get an