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
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
Markus Partheymueller mpartheym at os.inf.tu-dresden.de writes:
The changes to the kernel have not been merged into upstream because
they were very specific to the SCC and of little more generic use. But
I can send you the patch if you want.
That would be great! Also, do let me know the
