Programs for our Operating Systems Course