On Thu, 2013-09-12 at 09:46 +0200, Jeremy Jongepier wrote:
On 09/12/2013 09:40 AM, Raffaele Morelli wrote:
2013/9/12 Jeremy Jongepier
<jeremy(a)autostatic.com>om>:
On 09/12/2013 07:16 AM, Raffaele Morelli wrote:
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
True but you still need to run make oldconfig somehow otherwise you end
up with the Preemption Model of the original config you're using.
Best,
Jeremy
Quote from man page:
Normally, if kernel-package does not find a .config file in the current
directory, it tries very hard to get an appropriate one (usually a con-
fig file already tailored for Debian kernels for that architecture),
and then calls make oldconfig to let the user answer any new questions.
So if you apply the RT patch, make-kpkg will ask you about preemption model.
/r
Yes I know but I didn't formulate my earlier e-mail well enough. What I
mean is that you still need to run make oldconfig, be it separately or
be it via make-kpkg. When I think about it I wondered why I replied in
the first place, your mail explains it all. Sorry for the noise :-|
It's sane to do it the
cp /boot/config-$(uname -r) .config && make oldconfig
way, so the OP does understand what's going on and the
/boot/config-$(uname -r)
could be replaced to use any other wanted config, instead the one of the
running kernel. I even didn't know that make-kpkg does it automatically.
I would recommend to edit the config, to fit to the OP's machine before
running oldconfig.
# e.g. for Opteron/Athlon64/Hammer/K8
echo "CONFIG_MK8=y" >> /path/to/.config
# e.g. 32-bit only
# HIGHMEM from 4G to 64G
echo "CONFIG_HIGHMEM4G is not set" >> /path/to/.config
echo "CONFIG_HIGHMEM64G=y" >> /path/to/.config
2 Cents,
Ralf