[17:02] <gpiccoli> hey sub526, do you have deb-src enabled in /etc/apt/sources.list?
[17:02] <gpiccoli> One way is to use "apt-get source", the other is git
[17:02] <gpiccoli> there is a good guide here: https://wiki.ubuntu.com/Kernel/BuildYourOwnKernel
[17:03] <gpiccoli> for your specific demand, you'll need to set "IRQSOFF_TRACER=y" in my understanding
[17:03] <gpiccoli> sub526 ^
[18:08] <tomreyn> sub526: be sure to also install any pending updates, your system lacks security + bug fixes.
[18:09] <tomreyn> (the community provides support in #ubuntu)