A simple guide to have running the os161 kernel in Arch Linux
This are some notes for the course OS 161 from ops-class.org (based on the OS 161 course from Harvard).
You will need some tools. A nice Text Editor or a fancy IDE for C, I usually go for gedit, or sometimes vim.
Then you will need to install all the toolchain for the course plus some other tools