Claim listing
josefbacik/kerneldev-mcp
A MCP server for configuring, building, booting, and testing kernels
To claim this listing you must be a contributor or owner of the josefbacik/kerneldev-mcp repository. We verify ownership via GitHub.
Verify with GitHub