X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=intro.tex;h=8cd72a891b94e6cc2e10b16adf4157d6e5da1ad9;hp=18e7282f5848d16c6ddf98f37d8a512b3059458d;hb=388493a5b44babce8434148b87562aea0f046db7;hpb=39d4e8cf8eb39ad46335bc6a04695367302034f8

diff --git a/intro.tex b/intro.tex
index 18e7282..8cd72a8 100644
--- 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