Graphical desktop, l4con, mag
Jean Wolter
jean.wolter at kernkonzept.com
Wed Jun 7 09:59:09 CEST 2017
On 06/06/17 03:47, Leslie Zhai wrote:
> 在 2017年06月05日 23:43, Jean Wolter 写道:
>> Hello Leslie,
>>
>> today are public holidays in Germany, so I will try to follow up on
>> the issue tomorrow. I downloaded your binaries and am able to
>> reproduce the problem. It appears to be a problem with the fiasco
>> build. When I use my fiasco image build with gcc 4.9
> l4/build/.config
>
> GCCDIR=/usr/lib/gcc/x86_64-redhat-linux/6.3.1
Could you have a look at
http://os.inf.tu-dresden.de/pipermail/l4-hackers/2017/008005.html and
try the patch attached to that message?
It discusses a different symptom, but the underlying cause is the same.
I was able to reproduce your problem using the svn version of fiasco and
gcc 6.3.0 and the patch fixed the problem.
Regards
Jean
PS: You can ignore the buddy alloc warning, it is just an information
about non optimal allocations ...
More information about the l4-hackers
mailing list