gildas/kernel/doc
