RE: Checking executables before running them in L4re/fiasco

2014-09-02 Thread Masti Ramya Jayaram
Thanks for the suggestions. From what you say, I guess it is best to do something between ned and say vmlinuz. It also makes better sense semantically (the kernel has booted and checks if the application is ok). Is there a way to accomplish the following: a. Ned starts up a new process which

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

2014-09-02 Thread Valentin Hauner
Hi, On 09/02/2014 12:27 AM, Adam Lackorzynski wrote: Most use the C++ interface, so looking for 'create_task' is better. Why not use ned for creating tasks? My whole EDF library is written in C now, so switching to C++ or Lua makes it very uncomfortable for me. On 09/02/2014 12:27 AM, Adam

Adding a custom library to l4/pkg/bootstrap

2014-09-02 Thread Masti Ramya Jayaram
Hi all, I have managed to compile a custom C library (libscc-sec) as part of the l4 packages. Now I would like to use it in the bootstrap package (make a call to a function in the library). I did the following: a. Added the library as a requirement in pkg/bootstrap/Control requires:

RE: Fault in function writev (ulibc)

2014-09-02 Thread Masti Ramya Jayaram
No, it would occur randomly. I realized I had some mismatch in function prototypes with arrays. Fixing that got rid of the problem. Thanks, Ramya From: l4-hackers [l4-hackers-boun...@os.inf.tu-dresden.de] on behalf of Adam Lackorzynski

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

2014-09-02 Thread Jan Bierbaum
On 02.09.2014 11:37, Masti Ramya Jayaram wrote: b. Modified the pkg/bootstrap/server/src/Make.rules so that it also looks for libscc-sec by: L4_LIBS = -static -nostdlib $(DRV_LIBS) -lcxx_base -lcxx_io -llibscc-sec But on compiling, I get an error that says that -llibscc-sec not found

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

2014-09-02 Thread Masti Ramya Jayaram
Sorry about the multiple emails. I managed to get past the library not found error - it was a matter of nomenclature. However, now I am trying to call a function in the library through an included header file (which is part of the library) and it fails (undefined reference). My header file:

RE: Checking executables before running them in L4re/fiasco

2014-09-02 Thread Masti Ramya Jayaram
Also, could you elaborate a bit on how one could have smaller components? I decided to do it at bootstrap at the moment because I realized that using the IO server also means including the entire C library (and much more). On a related note, is there a way to find all the packages in use

Passing data to a thread

2014-09-02 Thread Valentin Hauner
Hi, I'm trying to pass some data to a newly created thread. Since l4_thread_ex_regs only accepts an instruction pointer, but no data pointer, it seems impossible to me to use a parameterized function such as: thread1_func(void *data) { /* Read the data ... */ } So far, my efforts are: 1. I've

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

2014-09-02 Thread Jan Bierbaum
On 02.09.2014 13:32, Masti Ramya Jayaram wrote: However, now I am trying to call a function in the library through an included header file (which is part of the library) and it fails (undefined reference). Could you give the *exact* error message? BTW, this is something you should always do if

Re: Checking executables before running them in L4re/fiasco

2014-09-02 Thread Adam Lackorzynski
On Tue Sep 02, 2014 at 14:08:03 +, Masti Ramya Jayaram wrote: Also, could you elaborate a bit on how one could have smaller components? I decided to do it at bootstrap at the moment because I realized that using the IO server also means including the entire C library (and much more).

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

2014-09-02 Thread Adam Lackorzynski
On Tue Sep 02, 2014 at 11:19:35 +0200, Valentin Hauner wrote: Hi, On 09/02/2014 12:27 AM, Adam Lackorzynski wrote: Most use the C++ interface, so looking for 'create_task' is better. Why not use ned for creating tasks? My whole EDF library is written in C now, so switching to C++ or Lua