Skip to content

Instantly share code, notes, and snippets.

View lamduong33's full-sized avatar
🐌
Working from home

Lam Duong lamduong33

🐌
Working from home
View GitHub Profile
@gerito1
gerito1 / OS161_set-up.md
Last active December 29, 2020 19:42
A simple guide to have running the os161 kernel in Arch Linux

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).

Getting started

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, the simulator for the course plus some other tools.