110 commits

Author	SHA1	Message	Date
Jorge Aparicio	fc4cb7d472	replace the ceiling token with a preemption threshold token	2017-05-08 12:05:42 -05:00
Jorge Aparicio	25f959d329	add categories	2017-04-27 15:37:27 -05:00
Jorge Aparicio	4992db7877	more docs, remove Ceiling / Priority / Level traits	2017-04-21 00:24:54 -05:00
Jorge Aparicio	a94de6bafc	wrap references to resources in static-ref's Ref/RefMut ... to assert that they point to `static` data	2017-04-14 10:19:08 -05:00
Jorge Aparicio	595404c5ff	compile time verified ceilings	2017-04-09 22:42:17 -05:00
Jorge Aparicio	185f368d63	use volatile read/writes for checked::Resource.locked	2017-04-07 18:57:13 -05:00
Jorge Aparicio	f2bab47aa4	allow returns from checked::Resource.lock{,mut} ... also add compiler barriers	2017-04-07 18:14:48 -05:00
Jorge Aparicio	441a822780	use stable release of the cortex-m crate	2017-03-12 11:19:43 -05:00
Jorge Aparicio	d88a15fb25	adapt to changes in cortex-m, verify the input of the priority function	2017-03-08 08:10:58 -05:00
Jorge Aparicio	aba9333799	initial commit	2017-03-05 00:29:08 -05:00