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
  ☆112Updated 6 years ago
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆93Updated 5 years ago
• mhugo / gdb_init_real_mode
  GDB macros for real mode debugging
  ☆24Updated 9 years ago
• shubham0d / ProtoVirt
  An ongoing attempt to create own hypervisior from scratch in linux.
  ☆51Updated 4 years ago
• chrysh / riscv_exploitation
  Collection of RISC-V exploits
  ☆30Updated 6 years ago
• KernelTestFramework / ktf
  Kernel Test Framework
  ☆149Updated 2 weeks ago
• jovanbulck / nemesis
  Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic
  ☆89Updated 4 years ago
• marcan / speculation-bugs
  Docs and resources on CPU Speculative Execution bugs
  ☆376Updated 7 years ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆67Updated 7 years ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆70Updated last year
• 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
• david942j / kvm-kernel-example
  Examples for: Learning KVM - implement your own kernel
  ☆379Updated 2 years ago
• stong / rustos-hv
  A simple Aarch64 hypervisor for Raspberry Pi
  ☆36Updated 5 years ago
• gamozolabs / riscv
  A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt
  ☆31Updated 5 years ago
• KVM-VMI / kvm
  Fork of KVM with Virtual Machine Introspection patches
  ☆37Updated last year
• tpiekarski / lkm-sandbox
  Collection of Linux Kernel Modules and PoC to discover, learn and practice Linux Kernel Development
  ☆54Updated 5 years ago
• hrw / syscalls-table
  Information about Linux system calls on different architectures
  ☆168Updated last month
• lorenzo-stoakes / linux-vm-hacks
  Hacks and experiments for the linux kernel VM subsystem.
  ☆23Updated 3 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆89Updated 7 years ago
• gamozolabs / rv32i_jit
  A super simple RV32i JIT, designed for ease of understanding and modification
  ☆87Updated 2 years ago
• kees / kernel-tools
  Tools for doing upstream Linux kernel development, patch wrangling, builds, and testing
  ☆56Updated last month
• gamozolabs / fuzz_with_emus
  Why fuzzing with emulators is amazing
  ☆141Updated 5 years ago
• cirosantilli / arm-assembly-cheat
  MOVED TO: https://cirosantilli.com/linux-kernel-module-cheat/userland-assembly with code at https://github.com/cirosantilli/linux-kernel-…
  ☆204Updated 6 years ago
• ttmo-O / x86-manpages
  x86 and amd64 instruction reference manual pages
  ☆263Updated 5 years ago
• JordyZomer / kernel_challenges
  ☆37Updated 4 years ago
• plutonium-dbg / plutonium-dbg
  Kernel-based debugger for Linux applications
  ☆75Updated 3 years ago
• b17fr13nds / lxfuzz
  lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…
  ☆22Updated last year
• isec-tugraz / KAISER
  Kernel Address Isolation to have Side-channels Efficiently Removed
  ☆221Updated 3 years ago
• gamozolabs / falkervisor_grilled_cheese
  ☆173Updated 3 years ago
• crozone / SpectrePoC
  Proof of concept code for the Spectre CPU exploit.
  ☆308Updated 2 years ago