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!