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

• ashwio / arm64-hypervisor-tutorial
  ☆113Updated 6 years ago
• 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
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆51Updated 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
• crozone / SpectrePoC
  Proof of concept code for the Spectre CPU exploit.
  ☆310Updated 3 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 4 years ago
• jovanbulck / nemesis
  Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic
  ☆90Updated 4 years ago
• lorenzo-stoakes / linux-vm-hacks
  Hacks and experiments for the linux kernel VM subsystem.
  ☆23Updated 3 years ago
• david942j / kvm-kernel-example
  Examples for: Learning KVM - implement your own kernel
  ☆380Updated 2 years ago
• gamozolabs / rv32i_jit
  A super simple RV32i JIT, designed for ease of understanding and modification
  ☆87Updated 3 years ago
• isec-tugraz / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆223Updated 4 years ago
• plutonium-dbg / plutonium-dbg
  Kernel-based debugger for Linux applications
  ☆75Updated 3 years ago
• chrysh / riscv_exploitation
  Collection of RISC-V exploits
  ☆32Updated 6 years ago
• frestr / armshaker
  Processor fuzzer targeting the Armv8-A ISA
  ☆67Updated 3 years ago
• jyao1 / STM
  ☆73Updated 5 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 5 years ago
• S2E / PyKVM
  A tiny KVM hypervisor written in Python
  ☆69Updated 7 years ago
• bx / elf-bf-tools
  ☆115Updated 12 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
• intel / xom-switch
  ☆56Updated 3 years ago
• lgeek / spec_poc_arm
  Dump privileged ARM system registers from usermode using variant 3a of Meltdown
  ☆245Updated 8 years ago
• intel / vbh
  ☆93Updated last year
• levex / kernel-qemu-pci
  Creating a custom PCI device in QEMU and a module for it in the Linux kernel.
  ☆96Updated 11 years ago
• cdisselkoen / pitchfork
  Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)
  ☆77Updated 3 years ago
• airbus-seclab / gustave
  GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…
  ☆202Updated 4 years ago
• mhugo / gdb_init_real_mode
  GDB macros for real mode debugging
  ☆24Updated 9 years ago