This is an old revision of the document!
OS : Debian or Ubuntu apt install gcc make pkg-config apt install linux-headers-$(uname -r) apt install linux-source