| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-04-14 | wrap references to resources in static-ref's Ref/RefMut | Jorge Aparicio | |
| to assert that they point to `static` data | |||
| 2017-04-09 | compile time verified ceilings | Jorge Aparicio | |
| 2017-04-07 | use volatile read/writes for checked::Resource.locked | Jorge Aparicio | |
| 2017-04-07 | allow returns from checked::Resource.lock{,mut} | Jorge Aparicio | |
| also add compiler barriers | |||
| 2017-03-12 | use stable release of the cortex-m crate | Jorge Aparicio | |
| 2017-03-08 | adapt to changes in cortex-m, verify the input of the `priority` function | Jorge Aparicio | |
| 2017-03-05 | initial commit | Jorge Aparicio | |
