Update Arch Linux kernel headers information
@@ -176,7 +176,7 @@ apt-cache search linux-headers-`uname -r`
On Arch Linux:
\begin{codebash}
-sudo pacman -S linux-libre-headers
+sudo pacman -S linux-headers
\end{codebash}
This will tell you what kernel header files are available.