J'ai réussi à compiler le noyau Linux pour mon PC portable ainsi que 
les drivers Intel et ATI. Résultat, les deux cartes graphiques 
fonctionnent très bien, et le changement à chaud avec vgaswitcheroo est
 parfaitement opérationnel.

#MercrediFiction

.