l4re compilation

Hi all, I am trying to compile l4re run time from the snapshot (l4re-snapshot- 2014053111) using GCC 4.9 on an x86-64 machine with multilib. The compilation fails with not being able to find cstdio header file. I followed the instructions in http://os.inf.tu-dresden.de/L4Re/build.html. I note

Re: Documentation of Sched_context

Hi, On Fri May 30, 2014 at 13:15:09 +0200, Valentin Hauner wrote: what exactly is represented by a Sched_context? 'sched_context-fixed_prio.cpp', for example, contains members called '_prio' and '_quantum'. That would suggest that a Sched_context is a schedulable object like a task or a

Re: Question about cross core IPC

Hi, On Sun Jun 01, 2014 at 05:15:06 -0800, Yuxin Ren wrote: I am learning the IPC code in the Fiasco kernel. I have some questions here. If the receiver is not ready, we will add the sender to the sender_list. But I did find any lock to protect the sender_list. So if two threads at

Re: l4re compilation

Hi, On Tue Jun 03, 2014 at 10:02:42 +, Ramya Masti wrote: I am trying to compile l4re run time from the snapshot (l4re-snapshot- 2014053111) using GCC 4.9 on an x86-64 machine with multilib. The compilation fails with not being able to find cstdio header file. I followed the