Re: Upgrader kernel

Top Page

Reply to this message
Author: Romain Touzé
Date:  
To: Guilde ML
Subject: Re: Upgrader kernel
Et si ça ne suffit pas, Debian propose l'outil make-kpkg pour créer un
.deb avec un noyau "customisé".

http://www.debian.org/doc/manuals/debian-faq/ch-kernel.en.html

Mais commencer absolument par la solution de Christian, bien plus rapide :D.

2014-02-26 0:36 GMT+01:00 Christian Marillat <marillat@???>:
> Vincent <vincent.heurtaux@???> writes:
>
>> Bonjour à tous,
>
> Salut,
>
>> Carte son (usb) M-Audio C600 : elle ne fonctionne qu'à partir du noyau
>> 3.10
>> Distribution pour musiciens : TangoStudio, basée sur Debian : noyau rt
>> 3.2.0-4-realtime-amd64
>>
>> Entrevoyez-vous une solution pour que je puisse mettre un noyau RT >= à
>> 3.10 et si possible "amd64", sur cette distribution ?
>
> Tu ajoutes dans /etc/apt/sources.list un dépot Debian.
>
> ,----
> | deb http://ftp.fr.debian.org/debian testing main
> `----
>
> ensuite :
>
> ,----
> | apt-get update
> | apt-get install debian-archive-keyring
> | apt-get update
> | apt-get install linux-image-rt-amd64
> `----
>
> Christian
>




--
Romain Touzé