Quickly building a custom Linux (Ubuntu) kernel, with modified configuration (kernel timer frequency)
Recently, I had to build a custom Linux kernel with a modified configuration (specifically, a modified kernel timer frequency).
This is a relatively typical task, so there is plenty of information around, however, I’ve found lack of clarity about the concepts involved, outdated and incompleted information, etc.
For this reason, I’ve decided to write a small guide about this task, in the form of a truly-hassle-free-copy-paste™ set of commands, with some clarifications.
As per my blogging style, I’ve spiced the script up with some (Linux/Scripting/Regex)-fu - of course, for the lulz™.
Content: