Session 5500: Overview of the Linux Operating System