OP-TEE/optee_os — pull request #9 by jenswi-linaro (2014-06-26 13:13:02+00:00)
Title: Add THREAD_FLAGS_EXIT_ON_IRQ for preempted threads

Adds a THREAD_FLAGS_EXIT_ON_IRQ flag to the saved state of a thread
to make it possible to check that no other thread may resume if there's
a thread preempted by an IRQ.