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

2014-09-18 Thread Valentin Hauner
Hi, On 09/17/2014 04:31 PM, Björn Döbel wrote: In the end means, that your stack mapping did not succeed as intended. OK, that helped. Indeed, some of the arguments concerning the size of the area to map were wrong. Now, there is no page fault on the stack any more. Then, I got the following

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

2014-09-18 Thread Björn Döbel
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 18.09.2014 09:19, Valentin Hauner wrote: Hi, On 09/17/2014 04:31 PM, Björn Döbel wrote: In the end means, that your stack mapping did not succeed as intended. OK, that helped. Indeed, some of the arguments concerning the size of the area

RE: Trimming uclibc in l4

2014-09-18 Thread Masti Ramya Jayaram
Hi, I completely understand that I should update but given time constraints, I am using an older version on a board that it works. I will update it eventually. I managed to backport the library which was 2 revisions ahead. In this version only the bootstrap module uses the minimal lib. I

Re: How to debug Fiasco Kernel

2014-09-18 Thread Markus Partheymueller
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi Cem, However, even if I see the messages on the screen, is it possible to interact with JDB without having an exception? I looked at also the Fiasco Kernel Debugger Manual, however, I couldn't figure out how to exactly interact with JDB. Until

Re: How to debug Fiasco Kernel

2014-09-18 Thread Marcus Hähnel
Hi Cem, On 2014-09-18 10:00, cem akpolat wrote: Dear all, I was searching how to debug the fiasco kernel through JDB. The following link gives a good approach how to it through minicom. http://os.inf.tu-dresden.de/l4env/doc/html/dev-overview/ [1] However, even if I see the messages on the

Re: How to debug Fiasco Kernel

2014-09-18 Thread cem akpolat
Thank you so much, it works fluently! Cem Akpolat On Thu, Sep 18, 2014 at 10:45 AM, Markus Partheymueller mparth...@os.inf.tu-dresden.de wrote: -BEGIN PGP SIGNED MESSAGE- Hash: SHA1 Hi Cem, However, even if I see the messages on the screen, is it possible to interact with JDB

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

2014-09-18 Thread Valentin Hauner
Hi, the infinite sleep did it, no page faults any more. Thanks! :) On 09/18/2014 09:29 AM, Björn Döbel wrote: Did you see the printf() output before? No, that's the only problem I'm struggling with at the moment. There's no error message or the like, but the output does simply not appear.

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

2014-09-18 Thread Björn Döbel
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 09/18/2014 09:29 AM, Björn Döbel wrote: Did you see the printf() output before? No, that's the only problem I'm struggling with at the moment. There's no error message or the like, but the output does simply not appear. What might be the

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

2014-09-18 Thread Björn Döbel
-BEGIN PGP SIGNED MESSAGE- Hash: SHA1 On 18.09.2014 17:12, Valentin Hauner wrote: Hi, On 09/18/2014 04:51 PM, Björn Döbel wrote: (another advantage you'd get by using L4Re's default application loader btw). OK, I'm aware of the fact that all the things I'm implementing