Pour seL4, ça fait 5 ans que c'est sorti et ils marquent toujours que le support du multicœur comme 'expérimental'.. Même mon téléphone est multicœur, donc je maintiens: seL4 est un jouet (à l'heure actuelle).
Pour le reste, c'est probablement une question de temps..
[^] # Re: Virtualisation par défaut
Posté par reno . En réponse à la dépêche Capsicum dans Linux : ça bouge !. Évalué à 1.
Pour seL4, ça fait 5 ans que c'est sorti et ils marquent toujours que le support du multicœur comme 'expérimental'.. Même mon téléphone est multicœur, donc je maintiens: seL4 est un jouet (à l'heure actuelle).
Pour le reste, c'est probablement une question de temps..