[seL4] am335x test PREEMPT_REVOKE hanging

Tim Newsham tim.newsham+sel4 at gmail.com
Mon Feb 16 10:08:19 EST 2015

while running the am335x port through the sel4 test suite
I'm getting a hang in the PREEMPT_REVOKE test. It
appears the revoke_thread is getting created but it is
never getting executed and hence the wait_for_helper
on the revoke thread is hanging indefinitely..  Any idea
what would cause this behavior?


More information about the Devel mailing list