Alternatives and similar repositories for operating-systems-lecture

Users that are interested in operating-systems-lecture are comparing it to the libraries listed below

• elhajjj / Flush-Reload
  ☆21Updated 6 years ago
• karanbhatia92 / os161-kernel
  Operating System OS/161 Kernel Development
  ☆54Updated 7 years ago
• unikraft / docs
  The front page and documentation for the Unikraft Open-Source Project.
  ☆37Updated 4 months ago
• rubikshift / UEFI_MARIO
  Simple game, which can be run on UEFI
  ☆11Updated 6 years ago
• SamJakob / thornhill
  A hobbyist UEFI x86-64/long-mode Operating System.
  ☆11Updated 2 years ago
• JohnBurger / OSDev-Demo
  Demonstrator for OSDev.org
  ☆13Updated 7 years ago
• intel / ikgt-uefi-loader
  Support UEFI load
  ☆10Updated 10 years ago
• yshalabi / covert-channel-tutorial
  Hands on with side-channels: a tutorial on covert-channels built using shared CPU resources. Three different covert-channel implementatio…
  ☆52Updated 6 years ago
• Alessandro-Salerno / SalernOS-EFI-Bootloader
  A Bootloader for my Operating System
  ☆10Updated last year
• shwetasshinde24 / Panoply
  Low-TCB Linux Applications with SGX Enclaves
  ☆37Updated 6 years ago
• lgeek / spec_poc_arm
  Dump privileged ARM system registers from usermode using variant 3a of Meltdown
  ☆245Updated 8 years ago
• 3mdeb / edk2-docker
  Docker container for building EDK2 UEFI Open Source reference implementation
  ☆17Updated last year
• ut-osa / txos
  Operating system demonstrating system transactions
  ☆16Updated 8 years ago
• isec-tugraz / cache_template_attacks
  This repository contains several tools to perform Cache Template Attacks
  ☆164Updated 2 months ago
• maxking / linux-security-papers
  Research paper collection for Linux kernel security from top security conferences.
  ☆79Updated 8 years ago
• Alessandro-Salerno / SalernOS
  Unix-like x86-64 hobby Operating System with X11, GCC, Vim, and more
  ☆11Updated 2 months ago
• AnyKeyShik / SimpleKernel
  My simple kernel
  ☆11Updated 3 years ago
• ParadoxZero / paradoxOS
  Unix unlike operating system.
  ☆23Updated 5 years ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆34Updated 7 years ago
• defuse / flush-reload-attacks
  ☆197Updated last year
• isec-tugraz / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆223Updated 4 years ago
• josehu07 / hux-kernel
  The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)
  ☆69Updated 3 years ago
• gururaj-s / streamline
  Streamline Covert Channel Attack (presented in ASPLOS'21)
  ☆22Updated 4 years ago
• VictorRodriguez / compilers-lecture
  Workshops and labs for compilers' design lecture.
  ☆28Updated 9 months ago
• vernamlab / medusa
  Medusa Repository: Transynther tool and Medusa Attack
  ☆19Updated 5 years ago
• eryjus / century-os
  A consolidation of all the Centuries I have started
  ☆10Updated 5 years ago
• flowyroll / uarchsec
  ☆47Updated 7 years ago
• flowyroll / medusa
  Medusa Repository: Transynther tool and Medusa Attack
  ☆23Updated 5 years ago
• sugawaray / efiboot
  A tool to execute an elf binary in the UEFI shell environment.
  ☆10Updated 9 years ago
• cupnes / uefi_bare_metal_programming_part2_samples
  ☆13Updated 8 years ago