gildas/kernel/lib/gcore
