OS Playground

Useful bits for teaching Operating Systems.

Instructions for

1. Installing a virtual development environment, isolated from your system (virtual-dev-env).
2. Installing Pintos and running in Qemu (qemu-n-pintos).
3. Installing Java and CLion (java-n-clion).
4. Installing cmocka and running the C programming assignments:

• 1: Unbalanced binary trees
• 2: Self-balancing binary trees
• 3: Dynamic memory pool