PCI 64 et Linux

Bonsoir,

J'ai une question concernant Linux et PC équipés de bus PCI 64.
Quelqu'un dans l'assemblée, a t'il déjà fait fonctionner (avec succès) une
carte PCI 64bits à 66Mhz sous Linux ?
(pour info, la plupart des cartes sont PCI 32bits à 33 Mhz)

Ma deuxième question en découle, connaissez-vous des cartes mères PC ayant
des PCI 32/64bits à 33/66 Mhz supportées par Linux 2.2 et/ou Linux 2.3 ?

Merci.
--
Emmanuel DECAEN