diff --git a/site/docs/gnulinux/index.md b/site/docs/gnulinux/index.md
index 07eeceb..14f4530 100644
--- a/site/docs/gnulinux/index.md
+++ b/site/docs/gnulinux/index.md
@@ -1,5 +1,5 @@
 ---
-title: GNU+Linux installation guides
+title: GNU+Linux guides
 x-toc-enable: true
 ...
 
@@ -47,3 +47,21 @@ directory.
 TODO: Nuke *all* distro-specific guides on libreboot.org. Instead, move these
 instructions to the wiki pages of these projects, on their websites. The reasons
 are explained in the above issue page.
+
+Rebooting system in case of freeze
+===================================
+
+Linux kernel has a feature to do actions to the system any time, even
+with it freezes, this is called a
+[Magic SysRq keys](https://en.wikipedia.org/wiki/Reisub). You can do these
+actions with Alt + Sysrq + Command. These are the actions:
+
+* Alt + SysRq + B: Reboot the system
+* Alt + SysRq + I: Send SIGKILL to every process except PID 1
+* Alt + SysRq + O: Shut off the system
+
+If some of them don't work, you have to enable it in the kernel
+command line paramter. So append `sysrq_always_enabled=1` to your
+`GRUB_CMDLINE_LINUX_DEFAULT` in `/etc/default/grub`
+
+You can also run `# sysctl kernel.sysrq=1` to enable them.
diff --git a/site/docs/index.md b/site/docs/index.md
index 7c93234..615787a 100644
--- a/site/docs/index.md
+++ b/site/docs/index.md
@@ -15,10 +15,10 @@ Installing libreboot
 -   [What systems can I use libreboot on?](hardware/)
 -   [How to install libreboot](install/)
 
-Installing operating systems
+Documentation related to operating systems
 ============================
 
--   [How to install GNU+Linux on a libreboot system](gnulinux/)
+-   [GNU+Linux Guides](gnulinux/)
 -   [How to install BSD on a libreboot system](bsd/)
 
 Information for developers