Liens vers - le kernel vanillia - le patche RTAI , ses modules, les tests ... - les patches Tiny Core et le fichier de config d'origine