Magic SysRq key on Linux

http://en.wikipedia.org/wiki/Magic_SysRq_key

http://www.linuxhowtos.org/Tips%20and%20Tricks/sysrq.htm