Graphical desktop, l4con, mag

Jean Wolter jean.wolter at
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 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.


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