# 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" |