gildas/kernel/etc
