gate operating system lecture