votre avatar Abonné

Saruspete

est avec nous depuis le 27 septembre 2023 ❤️

Bio

root@next

1 commentaires

Le 04/06/2024 à 00h 23

En parlant de thèse, Daniel Bristot de Oliveira a fait la sienne (lorsqu'il était chez Redhat avec Steven Rostedt) sur la validation formelle du patch rt: https://bristot.me/files/research/papers/thesis/thesis.pdf
(Ses autres papiers: https://bristot.me/publications/ ).
Très intéressant à lire.