gildas/kernel/lib/gsys
