diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-11-06 16:54:09 -0400 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2010-11-09 16:35:33 -0500 |
| commit | a957bc576d0bdab19f41d367dc662acd3bb82ae9 (patch) | |
| tree | cb531abba443ec03989269723bb85f6dbfa6cb5e /arch/arm/include | |
| parent | d28f0587149ab3086e3978c1251909c1742e6240 (diff) | |
add emergency exit to rtspin
This should only trigger if the execution time tracking is broken (as
it was on District10). With the emergency exit, we at least prevent
the system from becoming unresponsive.
Diffstat (limited to 'arch/arm/include')
0 files changed, 0 insertions, 0 deletions