This is about kernel installation, configuration and update, in short kernel management.
This category contains only the following page.
