gildas/kernel/demo
