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