Faculty: Introduction to operating systems