0xmortuex

MCP server for UEFI work: boot an .efi under OVMF and explain the outcome, decode EFI_STATUS and GUIDs, check PE images, parse OVMF logs and firmware volumes.

MCP server that explains where code and data landed in a linked binary and why - object to input section to script rule to segment to MEMORY region - from ELF +

MCP server that answers 'why can't I enable CONFIG_X?' for Kconfig trees (Linux, Zephyr...) - unmet dependencies with file:line and a verified minimal fix.

MCP server that reads ACPI tables from a live QEMU guest or table files and explains them for OS developers: CPUs, I/O APICs, IRQ overrides, HPET, ECAM, shutdow

MCP server that lets AI agents debug kernels through QEMU's gdbstub - no gdb binary needed. Breakpoints, registers, memory, backtraces, triple-fault diagnosis.