mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-23 12:35:41 +00:00
Some source files do not build with -O0 due to conflicting register allocation and inline assembler constrains. We enforce optimization (O2) for these files. Also, I reduced the noise from warning messages induced by lazy handling of "assignment discards ‘const’ qualifier" and "passing argument from incompatible pointer type" in third-party sources.