A collection of my Semgrep rules to facilitate vulnerability research.

Linux kernel source tree

Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

Ghost, a micro-kernel based hobby operating system.

NVIDIA Linux open GPU kernel module source

OBS Studio - Free and open source software for live streaming and screen recording

ret-sync is a set of plugins that helps to synchronize a debugging session (WinDbg/GDB/LLDB/OllyDbg2/x64dbg) with IDA/Ghidra/Binary Ninja disassemblers.

The seL4 microkernel

A repository for learning various heap exploitation techniques.

Embedded Scalable Platforms: Heterogeneous SoC architecture and IP integration made easy

Xv6 for RISC-V

This repository contains several tools to perform Cache Template Attacks

Official Intel SOCFPGA U-Boot repository. Note: (1) A "RC" labeled branch is for internal active development use and customer early access without official customer support. (2) Latest stable branc…

UEFI firmware image viewer and editor

Direct Memory Access (DMA) Attack Software

A bare metal programming guide (ARM microcontrollers)

pongoOS

BlackHole is a modern macOS audio loopback driver that allows applications to pass audio to other applications with zero additional latency.

Tutorial: Writing a "bare metal" operating system for Raspberry Pi 4

Bare metal Raspberry Pi 3 tutorials

Universal local privilege escalation Proof-of-Concept exploit for CVE-2024-1086, working on most Linux kernels between v5.14 and v6.6, including Debian, Ubuntu, and KernelCTF. The success rate is 9…

Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address as an unprivileged local user, for the purpose of bypassing K…

Patch the iBoot64 with generic patches.

Python scriptable Reverse Engineering Sandbox, a Virtual Machine instrumentation and inspection framework based on QEMU