diff options
| author | Glenn Elliott <gelliott@cs.unc.edu> | 2012-12-07 14:31:07 -0500 |
|---|---|---|
| committer | Glenn Elliott <gelliott@cs.unc.edu> | 2012-12-07 14:31:07 -0500 |
| commit | 1caac0a4cd3027de123306ac7b12bf4c0393f3ed (patch) | |
| tree | 5c15b3198198b1cfc7678b4d52cd034a0070abf5 /lib/ts_kmp.c | |
| parent | 983773f990053cb0ced72afb4b69594e5d32c779 (diff) | |
Send reboot notifications to Litmus
This patch causes reboot notifications to be send
to Litmus. With this patch, Litmus attempts to
switch back to the Linux-plugin before the reboot
proceeds. Any failures to switch back are reported
via printk() (the reboot is not halted).
Diffstat (limited to 'lib/ts_kmp.c')
0 files changed, 0 insertions, 0 deletions