Autokernel is primarily a kernel configuration management tool.
Its main purpose is to generate a kernel
.config file from
a more formal description of your configuration.
To help you writing the configuration, it comes with some helpful features:
You may use it for any combination of the above, There is no need to use it as a build system if you only want to detect options for your device.
Please have a look at the Introduction section from the documentation, which explains more about what this tool is designed for, and how it works.
|Detecting kernel options||Automatically satisfying a kernel option|
You can use pip to install autokernel, or run from source:
pip install autokernel
git clone "https://github.com/oddlama/autokernel.git" cd autokernel pip install -r requirements.txt ./bin/autokernel.py --help
Afterwards you should run
autokernel setup once to create a default configuration
A special note if you are interested in hardening your kernel: Be aware that autokernel provides a preconfigured module for kernel hardening (hardening.conf), which is compatible with any kernel version >= 4.0. Every choice is also fully documented and explanined. Feel free to adjust it to your needs.
I would like to especially thank the following projects and people behind them: