Il me semble que l'on peut faire tout ça avec Git, pour un coût pas si élevé en espace disque. Bien sûr, ce n'est pas aussi user-friendly, mais on peut faire des choses en plus (genre corriger un truc trivial et envoyer un patch propre, ou faire des recherches puissantes dans l'historique du développement du noyau, ou faire du git bisect qui permet de faire la chasse aux bugs de manière super efficace).
# Git
Posté par Boa Treize (site web personnel) . En réponse à la dépêche Ketchup, pour garder un noyau bien à jour. Évalué à 6.