Linux geeft geheugen terug aan Windows