MPS issue job003966

TitleNo design for clock.h
Statusclosed
Prioritynice
Assigned userGareth Rees
OrganizationRavenbrook
DescriptionThe clock.h header defines platform-specific macros for fast, high-resolution timers. But there's no design document, and it's not mentioned in the porting chapter of the manual.
Analysis1. Add design documentation.
2. Add entry in the porting chapter.
How foundinspection
EvidenceNone
Created byGareth Rees
Created on2016-03-06 16:19:18
Last modified byGareth Rees
Last modified on2016-03-06 21:45:59
History2016-03-06 GDR Created.

Fixes

Change Effect Date User Description
189692 closed 2016-03-06 21:45:59 Gareth Rees design.mps.clock