References

Below is a list of key tools, technologies, and platforms referenced in the development and deployment of the intelligent textbook on Introduction to Operating Systems.

---

ChatGPT

An AI LLM by OpenAI used to generate much of the content of the intelligent textbook.

MkDocs

A static site generator used to build and render the intelligent textbook. It converts Markdown files into a styled documentation website.

MkDocs Material Theme

A highly customizable and feature-rich theme for MkDocs. It provided a clean, responsive layout and UI components such as tabs, callouts, and collapsible content blocks.

GitHub Pages

The hosting platform used to publish a MkDocs site directly from a GitHub repository, enabling a live version of the intelligent textbook.

Markdown

The markup language used to write all textbook content, including chapters, labs, glossary entries, and project instructions in a readable and web-friendly format.

Deploy MkDocs GitHub Action

A GitHub Action workflow used to automate the deployment of the textbook to GitHub Pages each time content is pushed to the repository.

GitBook

Referenced as an early inspiration for structuring technical content and educational material in a modular, navigable book format.

Conda

Used to manage the Python environment and dependencies for local MkDocs development and previewing the site before deployment.

Visual Studio Code (VS Code)

The primary code editor used to write, preview, and manage Markdown files, Git integration, and YAML configuration for the MkDocs site.

Markdown Paste

A VS Code extension that simplifies pasting and formatting rich content like images and tables into Markdown, improving writing workflow and visual content integration.