Ubuntu-fr

Compte supprimé

Noyau 3.2.51-rt72 (RealTime) pour Ubuntu 12.04 LTS

Bonjour,

[noyau pas encore au point…]

J'ai vraiment besoin du noyau temps réel, alors c'est parti. Ubuntu 12.04 utilise le noyau 3.2.

Les bases :  Noyau 2.6.29.6-patch_RT23 en test pour 64 bits

On regarde les patches : https://www.kernel.org/pub/linux/kernel … ts/rt/3.2/

Le 3.2.51-rt72 a l'air bien. Question non élucidée : le noyau correspondant est-il le 3.2.50, le 3.2.51, ou le 3.2.52 ?

Ce sera la version 3.2.51-rt72, on va chercher le noyau à patcher : https://www.kernel.org/pub/linux/kernel/v3.x/

https://www.kernel.org/pub/linux/kernel … 51.tar.bz2 ??

On met tout dans le même répertoire Linux (sur le bureau par exemple linux12.04).

On applique le patch RT :

bzcat ../patch-3.10.17-rt12.patch.bz2 | patch -p1

On récupère mon script de compilation sur tous les processeurs :

#rm *.deb
#à mettre que s'il n'y a que les noyaux maison à effacer.

cd linux-3.2.51
export CONCURRENCY_LEVEL=$(grep -c '^processor' /proc/cpuinfo)
# optimise la compilation avec le nombre de processeurs disponibles.

make-kpkg clean
make-kpkg modules_clean

make xconfig
time make-kpkg --revision 1 --initrd kernel_image kernel_headers modules_image
cd ..

echo "dpkg -i linux-headers-*1_amd64.deb linux-image-*1_amd64.deb"

Après bonne chance pour trouver les bons paramètres. On peut s'aider du répertoire /boot.

On doit pouvoir faire un noyau 32 bits en décochant la première ligne dans xconfig (outil graphique).

Dernière modification par Compte supprimé (Le 27/10/2015, à 15:39)