open-education-hub / operating-systems
Teaching resources (OER) for Operating Systems
☆63Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for operating-systems
- Security Summer School: Security Essentials Track☆18Updated 4 months ago
- The front page and documentation for the Unikraft Open-Source Project.☆33Updated last week
- ACS - Proiectarea Algoritmilor (lab)☆13Updated last year
- Questions + answers for the SO interview exam☆72Updated this week
- Security Summer School, Binary track☆26Updated 4 months ago
- An index page to all of the homework from the university on this account.☆11Updated last year
- Repository public IOCLA☆22Updated 2 months ago
- Security Summer School, Web track☆24Updated 3 months ago
- Low-Level Software Security for Compiler Developers☆527Updated 4 months ago
- Useful resources for learning kernel☆16Updated 2 years ago
- 539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…☆211Updated last year
- Project page for "The Debugging Book"☆199Updated last week
- Fork of LLVM adding CHERI support☆49Updated this week
- Succinct notes on the linux mm subsystem.☆96Updated last year
- Microkit - A simple operating system framework for the seL4 microkernel☆87Updated 3 weeks ago
- ☆143Updated 5 months ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆25Updated 3 years ago
- Source code for the book Building a Debugger☆170Updated last week
- Pseudo-wiki; offering guides, tutorials, and examples for new QEMU users.☆70Updated last year
- X86 CPU topics overview for developers , oriented towards performance☆193Updated last month
- Simple unix-like operating system for education and research purposes☆302Updated 2 months ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆20Updated last week
- Linux kernel source tree☆367Updated 2 weeks ago
- Assembly super-optimization via constraint solving☆167Updated this week
- Visualization of the COMPLETE MEMORY MAP of any given process☆140Updated last month
- Security-related flags and options for C compilers☆185Updated 2 years ago
- The core components of the L4Re operating system.☆76Updated this week
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆178Updated 11 months ago
- A comprehensive systems programming toolkit implementing low-level concepts in C, from memory management to OS internals. Features practi…☆41Updated this week