On x86 - You press the key combo 'ALT-SysRq-<command key>'. Note - Some keyboards may not have a key labeled 'SysRq'. The 'SysRq' key is also known as the 'Print Screen' key. Also some keyboards cannot handle so many keys being pressed at the same time, so you might have better luck with "press Alt", "press SysRq", "release SysRq", "press <command key>", release everything.
I just upgraded my raspberry pi media centre to raspi 3 running kodi on osmc. all is well apart from being unable to ping or ssh into my new pi on static IP 192.168.1.239. pinging gives me host unreachable. ssh gives me no route to host on port 22. tried adding -v to ping command on the suggestion of a forum troubleshooting post [mitch@latitude ~]$ ping -v 192.168.1.239 ping: socket: Permission denied, attempting raw socket... ping: socket: Permission denied, attempting raw socket... PING 192.168.1.239 (192.168.1.239) 56(84) bytes of data. From 192.168.1.153 icmp_seq=1 Destination Host Unreachable From 192.168.1.153 icmp_seq=2 Destination Host Unreachable From 192.168.1.153 icmp_seq=3 Destination Host Unreachable 64 bytes from 192.168.1.239: icmp_seq=4 ttl=64 time=83.6 ms 64 bytes from 192.168.1.239: icmp_seq=5 ttl=64 time=102 ms 64 bytes from 192.168.1.239: icmp_seq=6 ttl=64 time=22.7 ms 64 bytes from 192.168.1.239: icmp_seq=7 ttl=64 time=44.2 ms 64 bytes from 192.168.1.239: i...