diff options
| author | klaar36 <klas.arvidsson@liu.se> | 2016-05-03 21:41:32 +0200 |
|---|---|---|
| committer | klaar36 <klas.arvidsson@liu.se> | 2016-05-04 03:28:16 +0200 |
| commit | 1413ca739e80172a3f11b0888f2f27f47b2ed056 (patch) | |
| tree | a1091a9bdc539b0e2380d7a53502dc31063d206f /src/devices/timer.h | |
| parent | 6d80739be4f882005c98a4b8000c1c5cde8d0a4e (diff) | |
| download | pintos-rs-1413ca739e80172a3f11b0888f2f27f47b2ed056.tar.gz | |
increased interrupt freq
Diffstat (limited to 'src/devices/timer.h')
| -rw-r--r-- | src/devices/timer.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/devices/timer.h b/src/devices/timer.h index 45a3f72..38f08df 100644 --- a/src/devices/timer.h +++ b/src/devices/timer.h @@ -5,7 +5,7 @@ #include <stdint.h> /* Number of timer interrupts per second. */ -#define TIMER_FREQ 100 +#define TIMER_FREQ 1000 void timer_init (void); void timer_calibrate (void); |