ahoeller / fies

Related projects ⓘ

Alternatives and complementary repositories for fies

• tudinfse / SpecFuzz
  A tool to enable fuzzing for Spectre vulnerabilities
  ☆30Updated 4 years ago
• ispras / qdt
  QEMU Development Toolkit
  ☆38Updated 4 months ago
• ARM-software / CSAL
  Coresight Access Library
  ☆112Updated last week
• ashwio / arm64-hypervisor-tutorial
  ☆100Updated 5 years ago
• levex / kernel-qemu-pci
  Creating a custom PCI device in QEMU and a module for it in the Linux kernel.
  ☆92Updated 10 years ago
• riscvarchive / riscv-edk2
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆22Updated 2 years ago
• seL4 / seL4_libs
  No-assurance libraries for rapid-prototyping of seL4 apps.
  ☆52Updated 2 months ago
• error27 / smatch
  Static Analyser for C
  ☆102Updated this week
• jyao1 / STM
  ☆70Updated 4 years ago
• ardbiesheuvel / X86EmulatorPkg
  ☆65Updated 2 years ago
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago
• hwangcc23 / ptm2human
  ARM PTM decoder, and ARM ETM v4 decoder. ptm2human is a decoder for trace data outputted by Program Trace Macrocell (PTM) and Embedded Tr…
  ☆50Updated 2 years ago
• artem-nefedov / uefi-gdb
  UEFI OVMF symbol load script for GDB
  ☆21Updated 2 years ago
• riscv-admin / riscv-uefi-edk2-docs
  Documentation and status of UEFI on RISC-V
  ☆53Updated 3 years ago
• CTSRD-CHERI / qemu
  QEMU with support for CHERI
  ☆54Updated 2 weeks ago
• blitz / baresifter
  A bare-metal x86 instruction set fuzzer a la Sandsifter
  ☆63Updated 8 months ago
• sysprogs / kgdboe
  A network interface for GDB for Linux Kernel
  ☆63Updated last year
• grandemk / qemu_devices
  PCI device for qemu with mmio, pio, dma
  ☆73Updated 7 years ago
• avisi-group / captive
  The Captive Hypervisor
  ☆40Updated 2 years ago
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆79Updated 6 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 3 years ago
• ashwio / arm64-sysreg-lib
  Header-only C library for reading/writing 64-bit Arm registers, automatically generated by parsing the AArch64 System Register XML.
  ☆29Updated 3 years ago
• CTSRD-CHERI / llvm-project
  Fork of LLVM adding CHERI support
  ☆49Updated this week
• krinkinmu / aarch64
  Sources for the AARCH64 experiments for posts on https://krinkinmu.github.io/
  ☆22Updated 2 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆76Updated 2 weeks ago
• oscarlab / hoss
  Pedagogical Hypervisor, based on MIT JOS
  ☆66Updated 6 years ago
• horms / kexec-tools
  Kexec Tools: Userspace portion of Kexec
  ☆62Updated this week
• KernelTestFramework / ktf
  Kernel Test Framework
  ☆140Updated 3 weeks ago
• ARM-software / sbsa-acs
  ARM Enterprise: SBSA Architecture Compliance Suite
  ☆87Updated last week
• keystone-enclave / sm
  Keystone security monitor library for opensbi (Discountinued after monorepo-izing)
  ☆13Updated 2 years ago