diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2021-07-22 07:29:35 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-22 07:29:35 +0000 |
| commit | c62fd967d77ccf72c08ea720c21777e367ab4125 (patch) | |
| tree | f0f469dcf5414577e088c0c606a334448e5d0bbe /.github | |
| parent | 2f3b5cba805d7e7b736869249f46298e59bc944d (diff) | |
| parent | 5805a05fac2fc5824009586b3ee2fd36dc27fbbf (diff) | |
Merge #498
498: book: update the resources chapter r=AfoHT a=japaric
see individual commit messages for details.
what's still left to do is adjust the very last section about `#[task_local]` and `#[lock_free]` but I plan to do that as a follow up. I didn't find an in-tree example for those two attributes (are they field attributes? where do they fit in the syntax?); a quick scan of the rtic-syntax crate seems to indicate that `task_local` has been removed (?) and that `lock_free` still exists.
Co-authored-by: Jorge Aparicio <jorge.aparicio@ferrous-systems.com>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions