diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-16 19:07:28 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-16 19:07:28 +0000 |
| commit | 47e4d999072ade9447616a91fbce61561810c75b (patch) | |
| tree | 8f5a1dbf40bcedd583a9fd51404b2ace1b823fb7 /examples/message.rs | |
| parent | 8a1f009c34b8cad3f7478aa67432fc60d47be4c0 (diff) | |
| parent | 1ccacf2102fb306867c0afb35d6d5dab43f75baf (diff) | |
Merge #255
255: more monotonic timer docs r=nils-grepit a=japaric
covers
- initialization and configuration of the timer; this is now a responsibility of
the application author
- correctness of `Monotonic::now()` in `#[init]`
- safety of `Monotonic::reset()`
closes #251
cc @jonas-schievink
(EDIT: yay, pull request number 0xFF)
Co-authored-by: Jorge Aparicio <jorge@japaric.io>
Diffstat (limited to 'examples/message.rs')
0 files changed, 0 insertions, 0 deletions