# Need to turn optimization off. Otherwise compiler may generate
# incorrect code, not knowing that trigger_irq() affects the value
# of trigger_check, even if declared volatile.
# A memory barrier does not help, we need an 'instruction barrier' but
# GCC doesn't support this; we need to tell the compiler not to reorder
# memory accesses to trigger_check around calls to trigger_irq.
CONFIG_COMPILER_OPT="-O0"