Adam Lackorzynski adam at os.inf.tu-dresden.de writes:
Yes, please stick with 4.8 for now.
Adam
Thanks Adam! I will try that then.
___
l4-hackers mailing list
l4-hackers@os.inf.tu-dresden.de
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
Hi,
On 16.04.2013, at 14:40, gaober wrote:
i have some doubt about the buliding of l4re.who decides the order of the
l4re pkg complie?if i want to make pkg drivers earliear than pkg input,hao
can i do?
does the /pkg/XXX/Control mean anything? and in the obj directory, there are
.pc files