Hello la liste,je souhaite me pencher sur un kernel linux temps r�el. J'ai d�j� fait quelques recherches mais je suis l�g�rement perdu et certains patchs ne me semblent plus (ou moins) maintenus :(
Quelqu'un connaitrait-il des sites/patchs pour les derniers kernels en date et qui sont toujours maintenus ? Merci de me faire gagner un peu de temps (m'aiguiller) quant � ces recherches ...
++ Franck
