Porting the Pip Proto-Kernel's Model to Multi-core Environments. - Quentin Bergougnoux; Julien Cartigny; Gilles Grimaud (DASC/PiCom/DataCom/CyberSciTech, 2018)

Co-design and implementation of a minimal kernel oriented by its proof, and evolution towards multicore architectures. (Co-design et implémentation d'un noyau minimal orienté par sa preuve, et évolution vers les architectures multi-coeur). - Quentin Bergougnoux (2019)