Si si, il a compris, c'est le fondateur d'OKL4 Labs qui distribue / vend OKL4
Il répond, en opposant des faits et chiffres, à des critiques fausses qu'on fait fréquemment aux micro-kernels, et qui ont été répétées par Lameter à l'OLS 2007.