Sebastian Huber b9ffb62467 Convert CPU counter ticks to/from sbintime_t ...

The sbintime_t is an efficient time format.  Add the ability to convert
CPU counter ticks to/from sbintime_t.

2018-12-03 09:45:37 +01:00

..

include/rtems

Remove make preinstall

2018-01-25 08:45:26 +01:00

src

Convert CPU counter ticks to/from sbintime_t

2018-12-03 09:45:37 +01:00