Added prototypes to os.h and Dr. Seng's system timer function