The OSDev wiki (wiki.osdev.org) offline and searchable: search, sections, links.
Free
5 MCP servers
Works with OpenAI Agents SDKBy 0xmortuex
Read ACPI tables from a live QEMU guest or files and explain them for OS developers.
Free
Debug kernels through QEMU's gdbstub with no gdb binary - and explain triple faults.
Free
Why can't I enable CONFIG_X? Explains Kconfig dependencies and finds a verified fix.
Free
Write, type-check and run Mort code, with language spec and stdlib lookup.
Free