X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=prochand.tex;h=582831aa8eb6dc908ab4b8a56c526fcbb37594aa;hp=baced8dc2e33c57301ab144ce0a2bfe9b92bc94d;hb=75277510ef10bd7aa1db5f83b3dc0cd7754160d1;hpb=0df8310fbad12660d8de351c7550010943a3a167

diff --git a/prochand.tex b/prochand.tex
index baced8d..582831a 100644
--- a/prochand.tex
+++ b/prochand.tex
@@ -138,8 +138,9 @@ system call ed ad ogni interrupt, (ma pu
 esplicitamente). Il timer di sistema provvede comunque a che esso sia invocato
 periodicamente, generando un interrupt periodico secondo la frequenza
 specificata dalla costante \macro{HZ}, definita in \file{asm/param.h} Il
-valore usuale è 100 (è espresso in Hertz), si ha cioè un interrupt dal timer
-ogni centesimo di secondo.
+valore usuale è 100\footnote{è così per tutte le archietetture eccetto
+  l'alpha, per la quale è 1000} (è espresso in Hertz), si ha cioè un interrupt
+dal timer ogni centesimo di secondo.
 
 Ogni volta che viene eseguito, lo \textit{scheduler} effettua il calcolo delle
 priorità dei vari processi attivi (torneremo su questo in