12 Sep
2013
12 Sep
'13
7:16 a.m.
2013/9/11 Marco Donnarumma <devel(a)thesaddj.com>
sorry, had forgot the link, see the 4th reply at
http://askubuntu.com/questions/72964/how-can-i-install-a-realtime-kernel
In 4th reply: `cp /boot/config-$(uname -r) .config && make oldconfig`
this is quite unnecessary as `make oldconfig` will prompt you for
newer configs not found in your current kernel configuration, moreover
make-kpkg does run `make oldconfig` before start compiling.
/r