Command-line Git information tool

i.MX Release Manifest

Linux Kernel hooking engine (x86)

Flake Template for Haskell Projects

DEPRECATED, wifipumpkin3 -> https://github.com/P0cL4bs/wifipumpkin3

Slim(toolkit): Don't change anything in your container image and minify it by up to 30x (and for compiled languages even more) making it secure too! (free and open source)

Ubuntu Secure Boot Kernel Signing (MOK)

Source code for 'Advanced C and C++ Compiling' by Milan Stevanovic

Kernel setup for the Pixel 8a.

A tool for analyzing Mac EFI and SOCROM firmware, featuring limited editing capabilities.

Firmwares for ESP32 Brick and ESP32 Ethernet Brick (including firmwares for WARP/WARP2 Charger, WARP Energy Manager)

Extract BIOS firmware from Intel-based workstations and laptops

A simple OS kernel for research, teaching, and fun.

Leaked Mirai Source Code for Research/IoC Development Purposes

source code

A small PoC for bpfdoor malware technique

BPFDoor Scanner - Check for Compromised Hosts

BPFDoor Source Code. Originally found from Chinese Threat Actor Red Menshen

Lessons to get to know UEFI programming in Linux with the help of EDKII

Official repo for Memtest86+

EDK II

Develop EFI applications for ARM-64, ARM-32, x86_64, IA-64 (IPF), IA-32 (x86), and MIPS platforms using the GNU toolchain and the EFI development environment.

A UEFI 64bit Bootloader

EFI Boot ISO Example

My gnu-efi development tree.

UEFI boot loader

Boot Linux directly from UEFI firmware (without any bootloader)

Intel® NPU (Neural Processing Unit) Driver

Linux Kernel Hacking

A small bootkit which does not rely on x64 assembly.