CIS-4020 (Operating Systems) Home Page

This page is under development for the Fall 2024 semester!

This is the home page for Peter Chapin's CIS-4020 course notes for the Fall 2024 semester. Here you will find class handouts, slides used during the lectures, homework assignments, and links to other references of interest.

The course syllabus gives an overview of the course and its content, lists course resources, and describes the grading policy and related issues.
The homework submission area and grade book are on Canvas but all other course resources are here.
DevBox and HackBox. These are Linux virtual machines running Ubuntu 24.04 that support this course. Download links are below. The virtual machines below are known to work with VirtualBox 7.0.18 and its associated extension pack. They are likely to work fine with other versions of VirtualBox close to that.

File	Size	MD5
`DevBox-2023-07-31.ova`	21,052,483,072	`DevBox-2023-07-31.md5`
`HackBox-2023-07-31.ova`	3,978,118,656	`HackBox-2023-07-31.md5`

Topics

Slides

C Programming Language with an emphasis on features related to kernel programming.

Homework

Labs

The lab set is summarized in the lab summary document, along with links to specific lab handouts and supporting code samples.

Resources/Articles

The following are links to relevant resources for this class.

The DevBox and HackBox document describes how to set up and use the virtual machines required for this class. (LaTeX source of the DevBox and HackBox document)
Compiling Linux describes the procedure for compiling the Linux kernel in detail. This document is for your information only. The kernel has been pre-compiled on the virtual machines we will be using in the lab. (LaTeX source of the Compiling Linux document
We will be studying Linux kernel 6.9.3. You can download a copy of this kernel from http://www.kernel.org. However, it has been pre-installed on the virtual machines we will be using in the lab.
I have prepared a document with links to kernel development resources.
I wrote a C tutorial that you might find useful as a refresher for various aspects of the C programming language.
My home page contains other resources of potential interest.

LaTeX Resources

For this class, you will be required to use the LaTeX typesetting system to prepare your lab reports. I encourage you to consider using LaTeX for your other formal writing needs even in other classes. This section includes references to materials you can use to help learn the system.

Lab Report Template. This is a LaTeX document with appropriate sections for CIS-4020 lab reports. To create your own report, copy this document and fill in the sections as needed.
The Not So Short Introduction to LaTeX2e gives a good overview of LaTeX for beginning and intermediate users.
Using LaTeX at VTC. This archive contains a document describing how to install LaTeX and giving examples of how to format various constructs of interest to the documents you will prepare for this class.
The MiKTeX website. From here you can download the MiKTeX installer for Windows. If you use Linux you can almost certainly install LaTeX from your distribution's package manager (look for the "texlive" and/or "latex" packages).
The TeXnicCenter website. From here you can download a LaTeX IDE for Windows. This is not required for editing LaTeX documents, but you might find it nicer than using a plain text editor. Note that many advanced text editors have special LaTeX editing modes as well.