#

teaching-kernel

Here is 1 public repository matching this topic...

srg-ics-uplb / ics-os

An instructional operating system

kernel os boot osdev operating-system x86 operating-systems i386 teaching-kernel instructional-operating-systems instructional-operating-system

Updated Aug 30, 2025
C

Improve this page

Add a description, image, and links to the teaching-kernel topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the teaching-kernel topic, visit your repo's landing page and select "manage topics."