Added timer module for Raspberry Pi

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6384 8c9fc860-2736-0410-a75d-ab315db34111

source/RPI.Timer.Mod

@@ -0,0 +1,18 @@
+(* Runtime support for high precision timer *)
+(* Copyright (C) Florian Negele *)
+
+MODULE Timer;
+
+IMPORT CPU;
+
+TYPE Counter* = LONGINT;
+
+PROCEDURE GetCounter- (): Counter;
+BEGIN {UNCOOPERATIVE, UNCHECKED} RETURN CPU.ReadWord (CPU.STCLO);
+END GetCounter;
+
+PROCEDURE GetFrequency- (): Counter;
+BEGIN {UNCOOPERATIVE, UNCHECKED} RETURN 1000000;
+END GetFrequency;
+
+END Timer.