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:39:40 -0500 |
| commit | e5e0247f927753dc0f22c84773aa48a0beb0d8f9 (patch) | |
| tree | ff708cd87a4e526f8f942fb062287b9370f85603 /litmus/Kconfig | |
| parent | 63537c738e7eb0ad6bc064b5e47c88092897c1cb (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 'litmus/Kconfig')
0 files changed, 0 insertions, 0 deletions