open-education-hub / operating-systemsLinks
Teaching resources (OER) for Operating Systems
☆70Updated last year
Alternatives and similar repositories for operating-systems
Users that are interested in operating-systems are comparing it to the libraries listed below
Sorting:
- The front page and documentation for the Unikraft Open-Source Project.☆35Updated 2 months ago
- 539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…☆231Updated 2 years ago
- Succinct notes on the linux mm subsystem.☆123Updated 2 years ago
- Low-Level Software Security for Compiler Developers☆582Updated last week
- Repository public IOCLA☆22Updated this week
- A collection of analysis tools for Kconfig and Kbuild constraints.☆64Updated last month
- Pseudo-wiki; offering guides, tutorials, and examples for new QEMU users.☆96Updated 2 years ago
- A curated list of resources on operating system design and implementation.☆181Updated last year
- Easily build and run CHERI related projects☆84Updated last week
- Quickly build and run kernels inside a virtualized snapshot of your live system☆678Updated last week
- Security Summer School: Security Essentials Track☆32Updated last year
- Loupe: Syscall Usage Analysis Tool☆42Updated last week
- Just a project with notes and code about the Linux kernel☆54Updated 4 years ago
- ☆45Updated this week
- Reference setup for Linux kernel development in VSCode☆299Updated last month
- Linux kernel source tree☆418Updated 7 months ago
- State of the art for unikernels☆221Updated last year
- A component-based OS☆193Updated 9 months ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- A utility for decoding aarch64 ESR register values.☆99Updated this week
- Chickadee OS for Harvard CS 161☆101Updated 10 months ago
- Static Analyser for C☆138Updated last week
- Useful resources for learning kernel☆19Updated 3 years ago
- The development version of the L4Re Microkernel☆146Updated last week
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)☆69Updated 3 years ago
- A comprehensive systems programming toolkit implementing low-level concepts in C, from memory management to OS internals. Features practi…☆70Updated 9 months ago
- Embedded Linker☆217Updated this week
- Visualization of the COMPLETE MEMORY MAP of any given process☆170Updated last month
- Notes on the linux kernel VM subsystem.☆379Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆189Updated 2 weeks ago