josefbacik/kerneldev-mcp
If you are the rightful owner of kerneldev-mcp and would like to certify it and/or have it hosted online, please leave a comment on the right or send an email to dayong@mcphub.com.
Kerneldev MCP is a server for intelligent Linux kernel configuration management and building, leveraging AI to optimize kernel configurations and builds.
Tools
Functions exposed to the LLM to take actions
list_config_presets
List all available configuration presets.
get_config_template
Generate a complete kernel configuration from templates.
create_config_fragment
Create a custom configuration fragment.
merge_configs
Merge multiple configuration fragments.
apply_config
Apply configuration to kernel source tree.
validate_config
Validate a kernel configuration.
search_config_options
Search for kernel configuration options.
generate_build_config
Generate optimized build configuration and commands.
build_kernel
Build the Linux kernel and validate the build.
check_build_requirements
Check if kernel source is ready to build.
clean_kernel_build
Clean kernel build artifacts.
Prompts
Interactive templates invoked by user choice
No prompts
Resources
Contextual data attached and managed by the client