optimization levels in genode

[lzSun]

Hello,
I find in repos/base/mk/global.mk, there's a default optimization level which is -O2. When I change this flag to -O3 or -Ofast , the system can't booting ,which stuck at " Starting kernel ...  ". I wonder how can I fix this problem and I am now building and run Genode 18.05 with trustzone for hw_imx53_qsb_tz platform. I am looking forward for your reply, thank you very much! 


------------------
Best wishes
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20181101/c41d7051/attachment.html>