Compiler un kernel RT pour debian j'ai fait, mais ca merdait dans les coins. Ce qui est relou, c'est qu'ingo fournit les patches pour les versions en x.x.xx et donc que parfois, ben il y a des bugs kernel corrigés dans les versions x.x.xx-x . Tu peux ptet utiliser les packages d'ubuntu, d'après moi c'est les meilleurs pour le kernel RT : ils sont basés sur la dernière version du noyau 2.6.20 (-13) et bien testés. Ca marche nickel à la maison.

Si t'es en galère je peux poster un tuto pour faire cette compilation, mais la j'ai pas tous les éléments sous la main.

Tiens-nous au courant sur les perfs  

Je ne sais pas si tu a besoin, mais pour que les applis aient un vrai accès temps réel au noyal, il faut compiler le module realtime-lsm, et que les applis soient programmées pour s'en servir.

La commande pour lancer une appli en rt est (en root)

 
Le SMP n'apporte rien dans ton cas, je pense pas que le décodage mpeg4 de VLC soit capable d'utiliser plusieurs processeurs /cores