Se li scarica, vedi la lista dei file a video, e poi ti ritrovi dentro la directory cvsroot quello appena scaricato.
Secondo me è solo un avvertimento perchè magari accedi come anonimo.
Una cosa che ho trovato ieri è che i driver del kernel per la MK4, avevano il supporto parziale per il 2° chip sul ramo experimental, ed è per questo motivo che avevo problemi di sincronizzazione e muovere finestre provocava sfasamento suono.
Pertanto, se non si mette 2 righe di commento al codice, bisogna utilizzare il chip sul socket 0 e non 1 (come sul mio) per sentire il suono.
Quello che noto però è che su su tune che hanno l'hardrestart, la riproduzione è al 99% fedele, nelle altre, si va ad ottenere effetti di ADSR bug che killano il volume delle voci, o effetti di distorsione del suono paurosi penso dovuti a una non corretto timing nella scheda.
Comunque Simon sta lavorando sodo e conta di avere la nuova versione dei driver a brave.