Altre correzioni, segnalate da Massimo Fidanza

[gapil.git] / intro.tex

diff --git a/intro.tex b/intro.tex
index 18e7282f5848d16c6ddf98f37d8a512b3059458d..8cd72a891b94e6cc2e10b16adf4157d6e5da1ad9 100644 (file)
--- a/intro.tex
+++ b/intro.tex
@@ -37,7 +37,7 @@ Il concetto base di un sistema unix-like 
 cosiddetto \textit{kernel}, nel nostro caso Linux) a cui si demanda la
 gestione delle risorse essenziali (la CPU, la memoria, le periferiche) mentre
 tutto il resto, quindi anche la parte che prevede l'interazione con l'utente,
-deve venire realizzato tramite programmi eseguiti dal kernel e che accedano
+dev'essere realizzato tramite programmi eseguiti dal kernel, che accedano
 alle risorse hardware tramite delle richieste a quest'ultimo.
 
 Fin dall'inizio uno Unix si presenta come un sistema operativo