Linux introduction for Operating Systems course