Re: Graphical desktop, l4con, mag

Leslie Zhai <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
Hi Jean,

Thanks for your hint! it worked :)


在 2017年06月07日 15:59, Jean Wolter 写道:
> 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.
Fixed :) https://pbs.twimg.com/media/DBtQMTAXkAA2tIn.jpg


>
> Regards
> Jean
>
> PS: You can ignore the buddy alloc warning, it is just an information 
> about non optimal allocations ...
I used clang analyzer to static analysis fiasco, but false negative... 
it could not find such `_quota` member of a thread is not correctly 
initialized issue, also thank Matthias cool patch :)

-- 
Regards,
Leslie Zhai - a LLVM hacker https://reviews.llvm.org/p/xiangzhai/




_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.