- Download Ubuntu latest stable release (Ubuntu 16.04.3 LTS)
- Install it
- Log in, open a terminal, and run :
# should output your kernel version : 4.13.0-36-generic
uname -r
# install linux-source, linux-headers, and linux-image corresponding to your kernel version
sudo apt install linux-source-4.13.0
sudo apt install linux-headers-4.13.0-36-generic
sudo apt install linux-image-4.13.0-36-generic
# install python dependencies
sudo apt install python-pip
pip install pssh
# install utils that we'll use to switch CPU governor
sudo apt install cpufrequtils
- You're done !
The Makefile
has a few tasks in it, that make it easier to run commands so don't have to type them everytime.
make build # compile the .c files & create the .ko (kernel object) patch file
make clean # clean all the compiled files (.o, etc...)o
make install # install the mod on your current VM (you need to build it first of course)
make remove # uninstall the mod
make log # show the kernel logs; just an alias for dmesg
make tail # stream kernel logs in real time; any new log will be displayed
make set # set your CPU frequency management governor
make unset # unset your CPU frequency management governor
So, a basic workflow when doing experiments should look like :
make build ; make install ; make set
make unset ; make remove
https://www.grid5000.fr/mediawiki/index.php/Grid5000:Get_an_account
Note : fore more informations on this part, you can also check the Getting Started guide of grid5000
# add in your ~/.ssh/config
Host g5k
HostName access.grid5000.fr
User your_user_name
IdentityFile ~/.ssh/id_rsa
Then to connect you'll type in your shell : ssh g5k