I came across this some time ago. It uses a slightly different key sequence: http://www.brunolinux.com/01-First_Things_To_Know/Skinny_Elephants.html Thanks for the post; it explains more about the SysRq key.