Debug kernels through QEMU's gdbstub with no gdb binary - and explain triple faults.
Free
5 servers across developer tools & repos and learning & documentation. The largest is Gdbstub.
Developer Tools & Repos · Learning & Documentation
5
servers published
2 categories
2k
downloads
counted by the registries
0
followers
told when a release lands
5 of 5
security-scanned
servers with a scan grade
5 MCP servers, most downloaded first. 5 of 5 are free to start.
Read ACPI tables from a live QEMU guest or files and explain them for OS developers.
Free
Why can't I enable CONFIG_X? Explains Kconfig dependencies and finds a verified fix.
Free
The OSDev wiki (wiki.osdev.org) offline and searchable: search, sections, links.
Free
Write, type-check and run Mort code, with language spec and stdlib lookup.
Free
Authentication
0 of 5 use OAuth
The rest either hold an API key issued by the publisher or ask for nothing.
Support
Community publisher
Listed without a verification tick. Read the listing before installing.