gildas/kernel/lib/windows
