• [^] # Re: Virtualisation par défaut

    Posté par . En réponse à la dépêche Capsicum dans Linux : ça bouge !. Évalué à 2.

    Bricoleurs? Quand tu vois la difficulté de prouver même des petits programmes..
    seL4 est l'exception pas la règle et quand tu lis leur FAQ sur le multicoeur..
    Par contre pour l'utilisation du C plutôt qu Ada (par exemple) là je suis d'accord.