homebrew formulas for the Operating system course at TU Graz