Operating Systems course at UT Austin with Professor Tinase. CS439