Alternatives and similar repositories for DreamyOS-seL4-Operating-System-AOS

Users that are interested in DreamyOS-seL4-Operating-System-AOS are comparing it to the libraries listed below

• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆94Updated 5 years ago
• KernelTestFramework / ktf
  Kernel Test Framework
  ☆150Updated 2 months ago
• ashwio / arm64-hypervisor-tutorial
  ☆113Updated 6 years ago
• jovanbulck / nemesis
  Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic
  ☆90Updated 4 years ago
• marcan / speculation-bugs
  Docs and resources on CPU Speculative Execution bugs
  ☆375Updated 8 years ago
• gamozolabs / falkervisor_grilled_cheese
  ☆174Updated 3 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆73Updated last year
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• TUD-OS / libelkvm
  A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
  ☆23Updated 10 years ago
• S2E / PyKVM
  A tiny KVM hypervisor written in Python
  ☆69Updated 7 years ago
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆51Updated 4 years ago
• jyao1 / STM
  ☆73Updated 5 years ago
• david942j / kvm-kernel-example
  Examples for: Learning KVM - implement your own kernel
  ☆380Updated 2 years ago
• hrw / syscalls-table
  Information about Linux system calls on different architectures
  ☆175Updated last month
• huku- / research
  Notes on various topics I'm interested in
  ☆161Updated 2 months ago
• lorenzo-stoakes / linux-vm-hacks
  Hacks and experiments for the linux kernel VM subsystem.
  ☆23Updated 3 years ago
• isec-tugraz / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆223Updated 4 years ago
• mhugo / gdb_init_real_mode
  GDB macros for real mode debugging
  ☆24Updated 9 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 4 years ago
• crozone / SpectrePoC
  Proof of concept code for the Spectre CPU exploit.
  ☆310Updated 3 years ago
• gamozolabs / fuzz_with_emus
  Why fuzzing with emulators is amazing
  ☆142Updated 5 years ago
• kirschju / wiedergaenger
  Exploiting Array-Out-of-Bounds-Write-Accesses on Linux
  ☆26Updated 8 years ago
• intel / xom-switch
  ☆56Updated 3 years ago
• KVM-VMI / kvm
  Fork of KVM with Virtual Machine Introspection patches
  ☆37Updated 3 weeks ago
• blazeinfosec / aslrekt
  ASLREKT is a proof of concept for an unfixed generic local ASLR bypass in Linux.
  ☆26Updated 6 years ago
• kaist-hacking / HardsHeap
  HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators
  ☆37Updated 4 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆89Updated 7 years ago
• gamozolabs / falkervisor_beta
  ☆74Updated 5 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆22Updated 5 years ago
• maxking / linux-vulnerabilities-10-years
  My MS thesis on survey of a decade fo Linux Kernel CVEs, their categories and various mitigations that exist.
  ☆159Updated 7 years ago